AbstractThe independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper, I argue that whether or not large cardinal axioms count as maximality principles depends on prior commitments concerning the richness of the subset forming operation. In particular I argue that there is a conception of maximality through absoluteness, on which large cardinal axioms are restrictive. I argue, however, that large cardinals are still important axioms of set theory and can play many of their usual foundational roles.
Added to PP
Historical graph of downloads
References found in this work
No references found.
Citations of this work
No citations found.
Similar books and articles
Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics.Matteo Viale - 2008 - Bulletin of Symbolic Logic 14 (1):99-113.
Resurrection Axioms and Uplifting Cardinals.Joel David Hamkins & Thomas A. Johnstone - 2014 - Archive for Mathematical Logic 53 (3-4):463-485.
Closed Maximality Principles and Generalized Baire Spaces.Philipp Lücke - 2019 - Notre Dame Journal of Formal Logic 60 (2):253-282.
Absoluteness Via Resurrection.Giorgio Audrito & Matteo Viale - 2017 - Journal of Mathematical Logic 17 (2):1750005.
Implications Between Strong Large Cardinal Axioms.Richard Laver - 1997 - Annals of Pure and Applied Logic 90 (1-3):79-90.
Incompatible Ω-Complete Theories.Peter Koellner & W. Hugh Woodin - 2009 - Journal of Symbolic Logic 74 (4):1155 - 1170.
Proper Forcing and Remarkable Cardinals II.Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (3):1481-1492.
Semi-Proper Forcing, Remarkable Cardinals, and Bounded Martin's Maximum.Ralf Schindler - 2004 - Mathematical Logic Quarterly 50 (6):527-532.
Projective Well-Orderings and Bounded Forcing Axioms.Andrés Eduardo Caicedo - 2005 - Journal of Symbolic Logic 70 (2):557-572.
Projective Well-Orderings and Bounded Forcing Axioms.Andrés Eduardo Caicedo - 2005 - Journal of Symbolic Logic 70 (2):557 - 572.
Certain Very Large Cardinals Are Not Created in Small Forcing Extensions.Richard Laver - 2007 - Annals of Pure and Applied Logic 149 (1-3):1-6.