Abstract
In this chapter we summarise the model-theoretic facts which will be used in the next chapter in which the independence of the Continuum Hypothesis will be proved. Most of the following statements are classical results and are stated without proper proofs (for which we refer the reader to standard textbooks in axiomatic Set Theory like Jech (Set Theory, The Third Millennium Edition, Revised and Expanded. Springer Monographs in Mathematics. Springer, Berlin (2004)) or Kunen (Set Theory, An Introduction to Independence Proofs. Studies in Logic and the Foundations of Mathematics, vol. 102. North-Holland, Amsterdam (1983)).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Chen Chung Chang, H. Jerome Keisler: Model Theory, 2nd edn. Studies in Logic and the Foundations of Mathematics, vol 73. North-Holland, Amsterdam (1977)
Felix Hausdorff: Grundzüge der Mengenlehre. De Gruyter, Leipzig (1914) [reprint: Chelsea, New York (1965)]
Wilfried Hodges: Model Theory. Cambridge University Press, Cambridge (1993)
Thomas Jech: Set Theory. The Third Millennium Edition, Revised and Expanded. Springer Monographs in Mathematics. Springer, Berlin (2003)
Kenneth Kunen: Set Theory, An Introduction to Independence Proofs. Studies in Logic and the Foundations of Mathematics, vol. 102. North-Holland, Amsterdam (1983)
Azriel Lévy: Axiom schemata of strong infinity in axiomatic set theory. Pac. J. Math. 10, 223–238 (1960)
Richard Montague: Fraenkel’s addition to the axioms of Zermelo. In: Essays on the Foundations of Mathematics, pp. 91–114. Magnes Press, Hebrew University, Jerusalem (1961)
Andrzej Mostowski: An undecidable arithmetical statement. Fundam. Math. 36, 143–164 (1949)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2012 Springer-Verlag London Limited
About this chapter
Cite this chapter
Halbeisen, L.J. (2012). Models of Finite Fragments of Set Theory. In: Combinatorial Set Theory. Springer Monographs in Mathematics. Springer, London. https://doi.org/10.1007/978-1-4471-2173-2_15
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2173-2_15
Publisher Name: Springer, London
Print ISBN: 978-1-4471-2172-5
Online ISBN: 978-1-4471-2173-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)