PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper

Notre Dame Journal of Formal Logic 53 (3):397-412 (2012)

Given an ideal $I$ , let $\mathbb{P}_{I}$ denote the forcing with $I$ -positive sets. We consider models of forcing axioms $MA(\Gamma)$ which also have a normal ideal $I$ with completeness $\omega_{2}$ such that $\mathbb{P}_{I}\in \Gamma$ . Using a bit more than a superhuge cardinal, we produce a model of PFA (proper forcing axiom) which has many ideals on $\omega_{2}$ whose associated forcings are proper; a similar phenomenon is also observed in the standard model of $MA^{+\omega_{1}}(\sigma\mbox{-closed})$ obtained from a supercompact cardinal. Our model of PFA also exhibits weaker versions of ideal properties, which were shown by Foreman and Magidor to be inconsistent with PFA. Along the way, we also show (1) the diagonal reflection principle for internally club sets ( $\mathit{DRP}(IC_{\omega_{1}})$ ) introduced by the author in earlier work is equivalent to a natural weakening of “there is an ideal $I$ such that $\mathbb{P}_{I}$ is proper”; and (2) for many natural classes $\Gamma$ of posets, $MA^{+\omega_{1}}(\Gamma)$ is equivalent to an apparently stronger version which we call $MA^{+\operatorname{Diag}}(\Gamma)$
Keywords forcing axioms   ideals   duality theorem   large cardinals   proper forcing
Categories (categorize this paper)
DOI 10.1215/00294527-1716793
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,330
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

On Resurrection Axioms.Konstantinos Tsaprounis - 2015 - Journal of Symbolic Logic 80 (2):587-608.
Ultrahuge cardinals.Konstantinos Tsaprounis - 2016 - Mathematical Logic Quarterly 62 (1-2):77-87.
Ideal Projections and Forcing Projections.Sean Cox & Martin Zeman - 2014 - Journal of Symbolic Logic 79 (4):1247-1285.

Add more citations

Similar books and articles

On Iterating Semiproper Preorders.Tadatoshi Miyamoto - 2002 - Journal of Symbolic Logic 67 (4):1431-1468.
A Weak Variation of Shelah's I[Ω₂].William J. Mitchell - 2004 - Journal of Symbolic Logic 69 (1):94-100.
Proper Forcing and L(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
Gap Forcing: Generalizing the Lévy-Solovay Theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
Co-Stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
A Maximal Bounded Forcing Axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.
Proper Forcing and Remarkable Cardinals II.Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (3):1481-1492.
The Bounded Proper Forcing Axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
Projective Well-Orderings and Bounded Forcing Axioms.Andrés Eduardo Caicedo - 2005 - Journal of Symbolic Logic 70 (2):557 - 572.
Generic Trees.Otmar Spinas - 1995 - Journal of Symbolic Logic 60 (3):705-726.
The Proper Forcing Axiom and the Singular Cardinal Hypothesis.Matteo Viale - 2006 - Journal of Symbolic Logic 71 (2):473 - 479.


Added to PP index

Total views
17 ( #533,620 of 2,286,068 )

Recent downloads (6 months)
7 ( #157,434 of 2,286,068 )

How can I increase my downloads?


My notes

Sign in to use this feature