×

Dependent choice, properness, and generic absoluteness. (English) Zbl 07374094

Summary: We show that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the presence of large cardinals, even with respect to \(\mathsf{DC}\)-preserving symmetric submodels of forcing extensions. Hence, \(\mathsf{ZF}+\mathsf{DC}\) not only provides the right framework for developing classical analysis, but is also the right base theory over which to safeguard truth in analysis from the independence phenomenon in the presence of large cardinals. We also investigate some basic consequences of the Proper Forcing Axiom in \(\mathsf{ZF}\), and formulate a natural question about the generic absoluteness of the Proper Forcing Axiom in \(\mathsf{ZF}+\mathsf{DC}\) and \(\mathsf{ZFC}\). Our results confirm \(\mathsf{ZF}+\mathsf{DC}\) as a natural foundation for a significant portion of “classical mathematics” and provide support to the idea of this theory being also a natural foundation for a large part of set theory.

MSC:

03E25 Axiom of choice and related propositions
03E55 Large cardinals
03E35 Consistency and independence results
03E57 Generic absoluteness and forcing axioms
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Abraham, U. (2010). Proper forcing . In Foreman, M., and Kanamori, A., editors. Handbook of Set Theory, Vol. 1. Dordrecht: Springer, pp. 333-394. · Zbl 1198.03059
[2] Asperó, D. & Viale, M. (2018). Incompatible category forcing axioms. Preprint. arXiv:1805.08732.
[3] Baumgartner, J. E. (1984). Applications of the proper forcing axiom. In Kunen, K., and Vaughan, J. E., editors. Handbook of Set-Theoretic Topology . Amsterdam: North-Holland Publishing Co., pp. 913-959. · Zbl 0556.03040
[4] Boolos, G. & Jeffrey, R. C. (1980). Computability and Logic (second edition). New York:Cambridge University Press. · Zbl 0298.02003
[5] Feferman, S. (2011). Is the Continuum Hypothesis a definite mathematical problem?Exploring the Frontiers of Incompleteness (EFI) Project. Cambridge, MA: Harvard University.
[6] Grigorieff, S. (1975). Intermediate submodels and generic extensions in set theory . Annals of Mathematics, 101(2), 447-490. · Zbl 0308.02060
[7] Hamkins, J. D. (1998). Small forcing makes any cardinal superdestructible. The Journal of Symbolic Logic, 63(1), 51-58. · Zbl 0906.03051
[8] Hamkins, J. D. & Löwe, B. (2008). The modal logic of forcing. Transactions of the American Mathematical Society, 360(4), 1793-1817. · Zbl 1139.03039
[9] Hayut, Y. & Karagila, A. (2020). Critical cardinals. Israel Journal of Mathematics, 236, 449-472. · Zbl 1479.03023
[10] Hayut, Y. & Karagila, A. (2019). Spectra of uniformity. Commentationes Mathematicae Universitatis Carolinae,60(2), 285-298.
[11] Howard, P. & Rubin, J. E. (1998). Consequences of the Axiom of Choice. Mathematical Surveys and Monographs, Vol. 59. Providence, RI: American Mathematical Society. With 1 IBM-PC floppy disk (3.5 inch; WD). · Zbl 0947.03001
[12] Howard, P. E. (1975). Łoś’ theorem and the Boolean prime ideal theorem imply the axiom of choice . Proceedings of the American Mathematical Society, 49, 426-428. · Zbl 0312.02052
[13] Jech, T. J. (1973). The Axiom of Choice. Studies in Logic and the Foundations of Mathematics, Vol. 75. Amsterdam: North-Holland Publishing Co. · Zbl 0259.02051
[14] Kanamori, A. (2003). The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings. (second edition). Berlin, Germany: Springer-Verlag. · Zbl 1022.03033
[15] Karagila, A. (2018). The Bristol model: An abyss called a Cohen real . Journal of Mathematical Logic,18(2), 1850008-1850037. · Zbl 1522.03215
[16] Karagila, A. (2019). Preserving dependent choice . Bulletin of the Polish Academy of Sciences Mathematics, 67(1), 19-29. · Zbl 1479.03021
[17] König, B. & Yoshinobu, Y. (2004). Fragments of Martin’s maximum in generic extensions. Mathematical Logic Quarterly, 50(3), 297-302. · Zbl 1047.03039
[18] Kunen, K. (1971). Elementary embeddings and infinitary combinatorics . The Journal of Symbolic Logic, 36, 407-413. · Zbl 0272.02087
[19] Lévy, A. & Solovay, R. M. (1967). Measurable cardinals and the continuum hypothesis. Israel Journal of Mathematics, 5, 234-248. · Zbl 0289.02044
[20] Mekler, A. H. (1984). C.c.c. forcing without combinatorics . Journal of Symbolic Logic, 49(3), 830-832. · Zbl 0577.03025
[21] Monro, G. P. (1983). On generic extensions without the axiom of choice. Journal of Symbolic Logic, 48(1), 39-52. · Zbl 0522.03034
[22] Moore, J. T. (2005). Set mapping reflection . Journal of Mathematical Logic, 5(1), 87-97. · Zbl 1082.03042
[23] Pincus, D. (1977). Adding dependent choice . Annals of Mathematical Logic, 11(1), 105-145. · Zbl 0365.02052
[24] Schölder, J. J. (2013). Forcing Axioms Through Iterations of Minimal Counterexamples. Master’s Thesis, Mathematical Institute of the University of Bonn.
[25] Shelah, S. (1998). Proper and Improper Forcing (second edition). Perspectives in Mathematical Logic. Berlin, Germany: Springer-Verlag. · Zbl 0889.03041
[26] Solovay, R. M. (1970). A model of set-theory in which every set of reals is Lebesgue measurable. Annals of Mathematics, 92(2), 1-56. · Zbl 0207.00905
[27] Viale, M. (2016). Category forcings, \({\mathsf{MM}}^{+++} \) , and generic absoluteness for the theory of strong forcing axioms. Journal of the American Mathematical Society, 29(3), 675-728. · Zbl 1403.03108
[28] Woodin, W. H. (1988). Supercompact cardinals, sets of reals, and weakly homogeneous trees. Proceedings of the National Academy of Sciences, 85(18), 6587-6591. · Zbl 0656.03037
[29] Woodin, W. H. (2010). Suitable extender models I . Journal of Mathematical Logic, 10(1-2), 101-339. · Zbl 1247.03110
[30] Woodin, W. H. (2011). The continuum hypothesis, the generic-multiverse of sets, and the omega conjecture. In Kennedy, J., and Kossak, R., editors. Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies. Lecture Notes Log., Vol. 36. La Jolla, CA: The Association for Symbolic Logic, pp. 13-42. · Zbl 1283.03083
[31] Woodin, W. H. (2017). In search of Ultimate- \( \text{L} \) : The 19th Midrasha Mathematicae Lectures. Bulletin of Symbolic Logic, 23(1), 1-109. · Zbl 1420.03134
[32] Yoshinobu, Y. (2019). Properness under closed forcing. Preprint, arXiv:1904.11168.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.