Ideals, ideal extenders and forcing axioms

MaRDI QIDQ3550135zbMATH OpenFDO

Authors Benjamin Claverie

Publication date 30 March 2010

zbMATH Keywords

extendersWoodin cardinalprecipitous idealstationary set preserving forcing

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• On almost precipitous ideals
• Stationary set preserving \(\mathcal L\)-forcings and the extender algebra
• The strength of \(\mathrm{PFA}(\aleph_2)\) plus a precipitous ideal on \(\omega_1\) and Namba-like forcings
• The entire NS ideal on can be precipitous
• The axiom of determinacy, forcing axioms, and the nonstationary ideal

Cited in

(8)

• GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS
• On the universality of the nonstationary ideal
• Killing ideals and adding reals
• Mathias-Prikry and Laver type forcing; summable ideals, coideals, and \(+\)-selective filters
• Stationary set preserving \(\mathcal L\)-forcings and the extender algebra
• The strength of \(\mathrm{PFA}(\aleph_2)\) plus a precipitous ideal on \(\omega_1\) and Namba-like forcings
• PFA and ideals on \(\omega_{2}\) whose associated forcings are proper
• Increasing δ₂¹ and Namba-style forcing

This page was built for publication: Ideals, ideal extenders and forcing axioms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3550135)