Closed maximality principles: implications, separations and combinations

Journal of Symbolic Logic 73 (1):276-308 (2008)
  Copy   BIBTEX


l investigate versions of the Maximality Principles for the classes of forcings which are <κ-closed. <κ-directed-closed, or of the form Col (κ. <Λ). These principles come in many variants, depending on the parameters which are allowed. I shall write MPΓ(A) for the maximality principle for forcings in Γ, with parameters from A. The main results of this paper are: • The principles have many consequences, such as <κ-closed-generic $\Sigma _{2}^{1}(H_{\kappa})$ absoluteness, and imply. e.g., that ◇κ holds. I give an application to the automorphism tower problem, showing that there are Souslin trees which are able to realize any equivalence relation, and hence that there are groups whose automorphism tower is highly sensitive to forcing. • The principles can be separated into a hierarchy which is strict, for many κ. • Some of the principles can be combined, in the sense that they can hold at many different κ simultaneously. The possibilities of combining the principles are limited, though: While it is consistent that MP<κ-closed(HκT) holds at all regular κ below any fixed α. the "global" maximality principle, stating that MP<κ-closed(Hκ ∪ {κ}) holds at every regular κ. is inconsistent. In contrast to this, it is equiconsistent with ZFC that the maximality principle for directed-closed forcings without any parameters holds at every regular cardinal. It is also consistent that every local statement with parameters from HκT that's provably <κ-closed-forceably necessary is true, for all regular κ



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Combined Maximality Principles up to large cardinals.Gunter Fuchs - 2009 - Journal of Symbolic Logic 74 (3):1015-1046.
Maximality and consciousness.Trenton Merricks - 2003 - Philosophy and Phenomenological Research 66 (1):150-158.
Deflationism, conservativeness and maximality.Cezary Cieśliński - 2007 - Journal of Philosophical Logic 36 (6):695 - 705.
A simple maximality principle.Joel David Hamkins - 2003 - Journal of Symbolic Logic 68 (2):527-550.
Open Perfectionism and Global Justice.Thaddeus Metz - 2004 - Theoria 51 (104):96-127.
In defense of base contraction.Sven Ove Hansson - 1992 - Synthese 91 (3):239 - 245.
A strategy for assessing closure.Peter Murphy - 2006 - Erkenntnis 65 (3):365 - 383.
Semantic closure, descriptions and non-triviality.Graham Priest - 1999 - Journal of Philosophical Logic 28 (6):549--558.
Maximality and Intrinsic Properties.Theodore Sider - 2001 - Philosophy and Phenomenological Research 63 (2):357 - 364.


Added to PP

22 (#669,532)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Set-theoretic geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.
Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.
Generalizations of the Kunen inconsistency.Joel David Hamkins, Greg Kirmayer & Norman Lewis Perlmutter - 2012 - Annals of Pure and Applied Logic 163 (12):1872-1890.
Closed Maximality Principles and Generalized Baire Spaces.Philipp Lücke - 2019 - Notre Dame Journal of Formal Logic 60 (2):253-282.
Subcomplete forcing principles and definable well‐orders.Gunter Fuchs - 2018 - Mathematical Logic Quarterly 64 (6):487-504.

View all 7 citations / Add more citations

References found in this work

Changing the heights of automorphism towers.Joel David Hamkins & Simon Thomas - 2000 - Annals of Pure and Applied Logic 102 (1-2):139-157.

Add more references