Subcomplete forcing principles and definable well‐orders

Mathematical Logic Quarterly 64 (6):487-504 (2018)
  Copy   BIBTEX


It is shown that the boldface maximality principle for subcomplete forcing,, together with the assumption that the universe has only set many grounds, implies the existence of a well‐ordering of definable without parameters. The same conclusion follows from, assuming there is no inner model with an inaccessible limit of measurable cardinals. Similarly, the bounded subcomplete forcing axiom, together with the assumption that does not exist, for some, implies the existence of a well‐ordering of which is Δ1‐definable without parameters, and ‐definable using a subset of ω1 as a parameter. This well‐order is in. Enhanced versions of bounded forcing axioms are introduced that are strong enough to have the implications of mentioned above, and along the way, a bounded forcing axiom for countably closed forcing is proposed.



    Upload a copy of this work     Papers currently archived: 94,549

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

The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.
The subcompleteness of diagonal Prikry forcing.Kaethe Minden - 2020 - Archive for Mathematical Logic 59 (1-2):81-102.
Bounded forcing axioms and the continuum.David Asperó & Joan Bagaria - 2001 - Annals of Pure and Applied Logic 109 (3):179-203.
Σ1(κ)-definable subsets of H.Philipp Lücke, Ralf Schindler & Philipp Schlicht - 2017 - Journal of Symbolic Logic 82 (3):1106-1131.
Hierarchies of resurrection axioms.Gunter Fuchs - 2018 - Journal of Symbolic Logic 83 (1):283-325.
Incompatible bounded category forcing axioms.David Asperó & Matteo Viale - 2022 - Journal of Mathematical Logic 22 (2).
Bounded forcing axioms as principles of generic absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.


Added to PP

21 (#744,346)

6 months
8 (#529,789)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Aronszajn tree preservation and bounded forcing axioms.Gunter Fuchs - 2021 - Journal of Symbolic Logic 86 (1):293-315.

Add more citations

References found in this work

Set-theoretic geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.
The downward directed grounds hypothesis and very large cardinals.Toshimichi Usuba - 2017 - Journal of Mathematical Logic 17 (2):1750009.
Set mapping reflection.Justin Tatch Moore - 2005 - Journal of Mathematical Logic 5 (1):87-97.

View all 17 references / Add more references