AUC Philosophica et Historica (Acta Universitatis Carolinae Philosophica et Historica) is a multidisciplinary academic journal focused on the humanities with more than 50 years of tradition.
The journal is indexed in CEEOL, DOAJ, and EBSCO.
AUC PHILOSOPHICA ET HISTORICA, Vol 2022 No 1 (2022), 57–75
Embeddings, projections, and Easton’s lemma
Šárka Stejskalová
DOI: https://doi.org/10.14712/24647055.2025.4
published online: 28. 02. 2025
abstract
We survey some lesser-known facts concerning properties of embeddings and projections between forcing notions. We will also state some generalizations of Easton’s lemma. To our knowledge, many of these facts have not been published, so we include their proofs for the benefit of the reader.
keywords: forcing; forcing notion; dense embedding; regular embedding; complete embedding; projection; chain condition; closure
references (20)
1. [Abr10] U. Abraham. Proper forcing. In M. Foreman and A. Kanamori, eds., Handbook of Set Theory, vol. I, chap. 5, pp. 333-394. Springer, 2010. CrossRef
2. [Bau83] J. E. Baumgartner. Iterated forcing. In A. R. D. Mathias, ed., Surveys in Set Theory, vol. 87 of London Math. Soc. Lecture Note Ser., pp. 1-59. Cambridge University Press, 1983. CrossRef
3. [BHK76] J. E. Baumgartner, L. A. Harrington, and E. M. Kleinberg. Adding a closed unbounded set. J. Symb. Logic, 41(2):481-482, 1976. CrossRef
4. [Coh63] P. Cohen. The independence of the continuum hypothesis. Proc. Nat. Acad. Sci. of the U.S.A., 50:1143-1148, 1963. CrossRef
5. [Coh64] P. Cohen. The independence of the continuum hypothesis II. Proc. Nat. Acad. Sci. of the U.S.A., 51:105-110, 1964. CrossRef
6. [Cum18] J. Cummings. Aronszajn and Kurepa trees. Archive Math. Logic, 57(1-2):83-90, 2018. CrossRef
7. [DJ74] K. Devlin and H. Johnsbråten. The Souslin Problem, vol. 405 of LNM. Springer, 1974. CrossRef
8. [Eas70] W. B. Easton. Powers of regular cardinals. Ann. Math. Logic, 1:139-178, 1970. CrossRef
9. [FH12] S.-D. Friedman and R. Honzík. Supercompactness and failures of GCH. Fundamenta Mathematicae, 219(1):15-36, 2012. CrossRef
10. [Gal80] F. Galvin. Chain conditions and products. Fundamenta Mathematicae, 108(1):33-48, 1980. CrossRef
11. [Ham00] J. D. Hamkins. The lottery preparation. Ann. Pure Appl. Logic, 101(2-3):103-146, 2000. CrossRef
12. [Jech03] T. Jech. Set Theory. Springer Monographs in Mathematics. Springer, 2003.
13. [Jen] R. Jensen. The generic Kurepa hypothesis I + II. Unpublished handwritten notes.
14. [JJ74] R. Jensen and H. Johnsbråten. A new construction of a non-constructible δ13 subset of ω. Fundamenta Mathematicae, 81:279-290, 1974. CrossRef
15. [JS01] T. Jech and S. Shelah. Simple complete Boolean algebras. Proc. of the Amer. Math. Soc., 129(2):543-549, 2001. CrossRef
16. [Kan80] A. Kanamori. Perfect-set forcing for uncountable cardinals. Ann. Math. Logic, 19:97-114, 1980. CrossRef
17. [Kun80] K. Kunen. Set Theory: An Introduction to Independence Proofs. North-Holland, 1980.
18. [Rin14] A. Rinot. Chain conditions of products, and weakly compact cardinals. Bull. Symb. Logic, 20(3):293-314, 2014. CrossRef
19. [Sac71] G. E. Sacks. Forcing with perfect closed sets. In Axiomatic Set Theory (Proc. Sympos. Pure Math., Univ. California, Los Angeles CA, 1967), vol. XIII, Part I of Proc. Symp. Pure Math., pp. 331-355. Amer. Math. Soc., Providence RI, 1971. CrossRef
20. [She97] S. Shelah. Colouring and non-productivity of ℵ2-c.c. Ann. Pure Appl. Logic, 84(2):153-174, 1997. CrossRef
Embeddings, projections, and Easton’s lemma is licensed under a Creative Commons Attribution 4.0 International License.
