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)
  • 최창순 (전북대학교 윤리교육과)
  • Received : 2011.04.07
  • Accepted : 2011.07.25
  • Published : 2011.08.31

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.

References

  1. Devlin, K. (1984), Constructibility, Springer-Verlag.
  2. 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.
  3. Godel, K. (1939), "Consistency proof for the generalized continuum hypothesis", Proceedings of the National Academy of Sciences, U.S.A. 25, 220-224. https://doi.org/10.1073/pnas.25.4.220
  4. 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.
  5. Godel, K. (1944),"Russell's mathematical logic", in Schilpp, Paul A.(ed) The philosophy of Bertrand Russell 3rd ed. (1951), 123-153.
  6. Godel, K. (1947),"What is Cantor's continuum problem?", American Mathematical Monthly 54, 515-525. https://doi.org/10.2307/2304666
  7. Jech, T. (2002), Set Theory, Springer-Verlag.
  8. Mendelson, E. (2010), Introduction to Mathematical Logic, CRC Press.
  9. Montague, R. (1961),"Semantic closure and non-finite axiomatizability", Infinitistic Methods, Pergamon, 45-69.
  10. Levy, A. (1979), Basic set theory, Springer-Verlag.
  11. Sierpinski, W.(1947),"L'hypothese generalisee du continu et l'axiome du choix", Fundamenta Mathematicae 34, 1-5. https://doi.org/10.4064/fm-34-1-1-5
  12. Shoenfield, J. R. (1967), Mathematical Logic, Addition-Wesley.
  13. Wang, H. (1974), From mathematics to philosophy, Humanities Press.