Ideal projections and forcing projections

Journal of Symbolic Logic 79 (4):1247-1285 (2014)
  Copy   BIBTEX

Abstract

It is well known that saturation of ideals is closely related to the “antichain-catching” phenomenon from Foreman–Magidor–Shelah [10]. We consider several antichain-catching properties that are weaker than saturation, and prove:If${\cal I}$is a normal ideal on$\omega _2 $which satisfiesstationary antichain catching, then there is an inner model with a Woodin cardinal;For any$n \in \omega $, it is consistent relative to large cardinals that there is a normal ideal${\cal I}$on$\omega _n $which satisfiesprojective antichain catching, yet${\cal I}$is not saturated. This provides a negative answer to Open Question number 13 from Foreman’s chapter in the Handbook of Set Theory.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,533

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

Restricted mad families.Osvaldo Guzmán, Michael Hrušák & Osvaldo Téllez - 2020 - Journal of Symbolic Logic 85 (1):149-165.
Ns Saturated and -Definable.Stefan Hoffelner - 2021 - Journal of Symbolic Logic 86 (1):25-59.
A wellorder of the reals with saturated.Sy-David Friedman & Stefan Hoffelner - 2019 - Journal of Symbolic Logic 84 (4):1466-1483.
On completeness of the quotient algebras {cal P}(kappa)/I.Yasuo Kanai - 2000 - Archive for Mathematical Logic 39 (2):75-87.
PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper.Sean Cox - 2012 - Notre Dame Journal of Formal Logic 53 (3):397-412.
Σ1(κ)-definable subsets of H.Philipp Lücke, Ralf Schindler & Philipp Schlicht - 2017 - Journal of Symbolic Logic 82 (3):1106-1131.
Yet Another Ideal Version of the Bounding Number.Rafał Filipów & Adam Kwela - 2022 - Journal of Symbolic Logic 87 (3):1065-1092.
Marginalia on a theorem of Woodin.Rasmus Blanck & Ali Enayat - 2017 - Journal of Symbolic Logic 82 (1):359-374.

Analytics

Added to PP
2016-06-30

Downloads
23 (#814,917)

6 months
7 (#542,440)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Layered Posets and Kunen’s Universal Collapse.Sean Cox - 2019 - Notre Dame Journal of Formal Logic 60 (1):27-60.
PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper.Sean Cox - 2012 - Notre Dame Journal of Formal Logic 53 (3):397-412.
On the universality of the nonstationary ideal.Sean D. Cox - 2018 - Mathematical Logic Quarterly 64 (1-2):103-117.

Add more citations

References found in this work

Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper.Sean Cox - 2012 - Notre Dame Journal of Formal Logic 53 (3):397-412.

Add more references