Browse > Article

A reconstruction of the G$\ddot{o}$del's proof of the consistency of GCH and AC with the axioms of Zermelo-Fraenkel set theory  

Choi, Chang-Soon (Department of Ethics Education, Chonbuk National University)
Publication Information
Journal for History of Mathematics / v.24, no.3, 2011 , pp. 59-76 More about this Journal
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$\ddot{o}$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.
Keywords
NBG; ZF; Mostowski-Shepherdson mapping theorem; reflection principles; constructibility; absoluteness; relative consistency;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Flannagan, T. B. (1976),"A new finitary proof of a theorem of Mostowski"in Sets and Classes, edited by Muller, G. H., North Holland Publishing Company.
2 Godel, K. (1939), "Consistency proof for the generalized continuum hypothesis", Proceedings of the National Academy of Sciences, U.S.A. 25, 220-224.   DOI   ScienceOn
3 Godel, K. (1940), The consistency proof of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory, Princeton UP.
4 Levy, A. (1979), Basic set theory, Springer-Verlag.
5 Devlin, K. (1984), Constructibility, Springer-Verlag.
6 Godel, K. (1944),"Russell's mathematical logic", in Schilpp, Paul A.(ed) The philosophy of Bertrand Russell 3rd ed. (1951), 123-153.
7 Godel, K. (1947),"What is Cantor's continuum problem?", American Mathematical Monthly 54, 515-525.   DOI   ScienceOn
8 Jech, T. (2002), Set Theory, Springer-Verlag.
9 Mendelson, E. (2010), Introduction to Mathematical Logic, CRC Press.
10 Montague, R. (1961),"Semantic closure and non-finite axiomatizability", Infinitistic Methods, Pergamon, 45-69.
11 Sierpinski, W.(1947),"L'hypothese generalisee du continu et l'axiome du choix", Fundamenta Mathematicae 34, 1-5.   DOI
12 Shoenfield, J. R. (1967), Mathematical Logic, Addition-Wesley.
13 Wang, H. (1974), From mathematics to philosophy, Humanities Press.