Access the full text.
Sign up today, get DeepDyve free for 14 days.
J. Hamkins, Thomas Johnstone (2013)
Resurrection axioms and uplifting cardinalsArchive for Mathematical Logic, 53
Konstantinos Tsaprounis (2012)
Large cardinals and resurrection axioms
J. Bagaria (2000)
Bounded forcing axioms as principles of generic absolutenessArchive for Mathematical Logic, 39
Hugh Woodin (1999)
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal
P. Larson (2010)
Forcing over Models of Determinacy
(1988)
S.:Martin’smaximum, saturated ideals, and nonregular ultrafilters
S. Shelah (1974)
Infinite abelian groups, whitehead problem and some constructionsIsrael Journal of Mathematics, 18
M. Viale (2010)
Guessing models and generalized Laver diamondAnn. Pure Appl. Log., 163
(2004)
The stationary tower
M. Viale (2016)
CATEGORY FORCINGS, MM, AND GENERIC ABSOLUTENESS FOR THE THEORY OF STRONG FORCING AXIOMS
S. Todorcevic (2002)
Generic absoluteness and the continuumMathematical Research Letters, 9
Matemáticas (2010)
Set Theory: An Introduction to Independence Proofs
J. Moore (2005)
A five element basis for the uncountable linear ordersAnnals of Mathematics, 163
Capstone Luther (2009)
INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
M. Viale, C. Weiß (2010)
On the consistency strength of the proper forcing axiomAdvances in Mathematics, 228
I. Farah (2007)
ALL AUTOMORPHISMS OF THE CALKIN ALGEBRA ARE INNERAnnals of Mathematics, 173
J. Stavi, J. Väänänen (2008)
Reflection principles for the continuum
J. Moore (2005)
Set Mapping ReflectionJ. Math. Log., 5
Sean Cox (2012)
The diagonal reflection principle, 140
(2003)
The third millennium edition
We present several results relating the general theory of the stationary tower forcing developed by Woodin with forcing axioms. In particular we show that, in combination with class many Woodin cardinals, the forcing axiom MM ++ makes the $${\Pi_2}$$ Π 2 -fragment of the theory of $${H_{\aleph_2}}$$ H ℵ 2 invariant with respect to stationary set preserving forcings that preserve BMM. We argue that this is a promising generalization to $${H_{\aleph_2}}$$ H ℵ 2 of Woodin’s absoluteness results for $${L(\mathbb{R})}$$ L ( R ) . In due course of proving this, we shall give a new proof of some of these results of Woodin. Finally we relate our generic absoluteness results with the resurrection axioms introduced by Hamkins and Johnstone and with their unbounded versions introduced by Tsaprounis.
Archive for Mathematical Logic – Springer Journals
Published: Dec 11, 2015
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.