A reconstruction of the Gödel’s proof of the consistency of GCH and AC with the axioms of Zermelo-Fraenkel set theory
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
Starting from a collection V as a model which satisfies the axioms of NBG, we call the elements of V as sets and the subcollections of V as classes. We reconstruct the Gödel’s proof of the consistency of GCH and AC with the axioms of Zermelo-Fraenkel set theory by using Mostowski-Shepherdson mapping theorem, reflection principles in Tarski-Vaught theorem and Montague-Levy theorem and the fact that NBG is a conservative extension of ZF.
Abstract
Starting from a collection V as a model which satisfies the axioms of NBG, we call the elements of V as sets and the subcollections of V as classes. We reconstruct the Gödel’s proof of the consistency of GCH and AC with the axioms of Zermelo-Fraenkel set theory by using Mostowski-Shepherdson mapping theorem, reflection principles in Tarski-Vaught theorem and Montague-Levy theorem and the fact that NBG is a conservative extension of ZF.
참고문헌 (13)
- Devlin, K., "Constructibility" (1984), Springer-Verlag
- Flannagan, T. B., "A new finitary proof of a theorem of Mostowski, in Sets and Classes" (1976), North Holland Publishing Company
- Gödel, K., "Consistency proof for the generalized continuum hypothesis", Proceedings of the National Academy of Sciences, 통권 : 25, pp.220~224 (1939)
- Gödel, K., "The consistency proof of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory" (1940), Princeton UP
- Gödel, K., "Russell’s mathematical logic, The philosophy of Bertrand Russell 3rd ed", pp.123~153 (1951)
- Gödel, K, "What is Cantor’s continuum problem", American Mathematical Monthly, 54, pp.515~525 (1947)
- Jech, T., "Set Theory" (2002), Springer-Verlag
- Mendelson, E., "Introduction to Mathematical Logic" (2010), CRC Press
- Montague, R., "Semantic closure and non-finite axiomatizability", pp.45~69 (1961), Infinitistic Methods
- Levy, A., "Basic set theory" (1979), Springer-Verlag
- Sierpiński, W., "L’hypothèse généralisée du continu et l’axiome du choix", Fundamenta Mathematicae, 34, pp.1~5 (1947)
- Shoenfield, J. R., "Mathematical Logic" (1967), Addition-Wesley
- Wang, H., "From mathematics to philosophy" (1974), Humanities Press