_2 consequences of BMM+NS__1 is precipitous and the semiproperness of stationary set preserving forcings

DOI10.4310/MRL.2009.V16.N5.A4MaRDI QIDQ971477zbMATH OpenFDO

Authors Philipp Doebler, Ralf Schindler

Publication date 14 May 2010

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4310/MRL.2009.V16.N5.A4

zbMATH Keywords

admissible club guessingclub bounding principleclub filtergeneric iterationnonstationary idealprecipitous idealsemiproper forcing

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Generic absoluteness and forcing axioms (03E57)

Recommendations

• The strength of \(\mathrm{PFA}(\aleph_2)\) plus a precipitous ideal on \(\omega_1\) and Namba-like forcings
• Two upper bounds on consistency strength of \(\neg \square_{\aleph_\omega}\) and stationary set reflection at two successive \(\aleph_n\)
• Stationary set preserving L-forcings and the extender algebra
• Forcing a mutual stationarity property in cofinality 𝜔₁
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
• SET FORCING AND STRONG CONDENSATION FORH(ω₂)
• Rado's conjecture implies that all stationary set preserving forcings are semiproper
• Collapsing \(\omega _2\) with semi-proper forcing
• \(\sigma \)-continuity and related forcings
• The tree property at _2 and bounded forcing axioms

Cited in

(15)

• Chang's conjecture and semiproperness of nonreasonable posets
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• Rado's conjecture implies that all stationary set preserving forcings are semiproper
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
• Strong Chang's conjecture, semi-stationary reflection, the strong tree property and two-cardinal square principles
• Combinatorial Dichotomies in Set Theory
• Stationary set preserving L-forcings and the extender algebra
• Increasing u₂ by a stationary set preserving forcing
• Simple proofs of SCH from reflection principles without using better scales
• FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION
• Woodin’s axiom (*), or Martin’s Maximum, or both?
• Increasing the second uniform indiscernible by strongly SSP forcing
• On semiproperness of Namba forcings and ideals in Prikry extensions
• Bounded Martin's maximum with an asterisk
• Strong Chang's conjecture and the tree property at \(\omega_{2}\)

This page was built for publication: \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings

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