Abstract
Since Cohen forcing is countable, it satisfies ccc, hence, Cohen forcing is proper. Furthermore, since forcing notions with the Laver property do not add Cohen reals, Cohen forcing obviously does not have the Laver property.
Not so obvious are the facts that Cohen forcing adds unbounded and splitting, but no dominating reals.
References
Tomek Bartoszyński, Additivity of measure implies additivity of category, Transactions of the American Mathematical Society, vol. 281 (1984), 209–213.
to3em , Combinatorial aspects of measure and category, Fundamenta Mathematicae, vol. 127 (1987), 225–239.
Tomek Bartoszyński and Haim Judah, Set Theory: on the structure of the real line, A. K. Peters, Wellesley, 1995.
Andreas Blass, Combinatorial Cardinal Characteristics of the Continuum, in Handbook of Set Theory, Volume 1 (Matthew Foreman and Akihiro Kanamori, eds.), Springer-Verlag, Berlin, 2010, pp. 395–490.
Thomas Jech, Multiple Forcing, [Cambridge Tracts in Mathematics], Cambridge University Press, Cambridge, 1986.
to3em , Set Theory,The Third Millennium Edition, Revised and Expanded, [Springer Monographs in Mathematics], Springer-Verlag, Berlin, 2003.
Kenneth Kunen, Some points inβN, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 80 (1976), 385–398.
to3em , Set Theory, an Introduction to Independence Proofs, [Studies in Logic and the Foundations of Mathematics 102], North-Holland, Amsterdam, 1983.
Miloš S. Kurilić, Cohen-stable families of subsets of integers, The Journal of Symbolic Logic, vol. 66 (2001), 257–270.
Arnold W. Miller, Some properties of measure and category, Transactions of the American Mathematical Society, vol. 266 (1981), 93–114.
Janusz Pawlikowski, Why Solovay real produces Cohen real, The Journal of Symbolic Logic, vol. 51 (1986), 957–968.
Zbigniew Piotrowski and Andrzej Szymański, Some remarks on category in topological spaces, Proceedings of the American Mathematical Society, vol. 101 (1987), 156–160.
Robert M. Solovay, A model of set theory in which every set of reals is Lebesgue measurable, Annals of Mathematics (2), vol. 92 (1970), 1–56.
to3em , Real-valued measurable cardinals, in Axiomatic set theory (Dana S. Scott, ed.), [Proceedings of Symposia in Pure Mathematics, Vol. XIII, Part I], American Mathematical Society, Providence, Rhode Island, 1971, pp. 397–428.
Jacques Stern, Partitions of the real line into \(\aleph _{1}\) closed sets, in Higher set theory, Proceedings, Oberwolfach, Germany, April 13–23, 1977 (Gert H. Müller and Dana S. Scott, eds.), [Lecture Notes in Mathematics 669], Springer-Verlag, Berlin, 1978, pp. 455–460.
John K. Truss, Sets having calibre \(\aleph _{1}\), in Logic Colloquium 76: proceedings of a conference held in Oxford in July 1976 (R. O. Gandy and J. M. E. Hyland, eds.), [Studies in Logic and the Foundations of Mathematics 87], North-Holland, Amsterdam, 1977, pp. 595–612.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Halbeisen, L.J. (2017). Cohen Forcing Revisited. In: Combinatorial Set Theory. Springer Monographs in Mathematics. Springer, Cham. https://doi.org/10.1007/978-3-319-60231-8_22
Download citation
DOI: https://doi.org/10.1007/978-3-319-60231-8_22
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-60230-1
Online ISBN: 978-3-319-60231-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)