Neil Barton
Universität Konstanz
The 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.
Keywords set theory  large cardinals  absoluteness  forcing axioms
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

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.
Ramsey-Like Cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
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.
Generic Large Cardinals as Axioms.Monroe Eskew - 2020 - Review of Symbolic Logic 13 (2):375-387.
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.
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.


Added to PP index

Total views
352 ( #29,262 of 2,507,887 )

Recent downloads (6 months)
67 ( #11,868 of 2,507,887 )

How can I increase my downloads?


My notes