Rado's conjecture implies that all stationary set preserving forcings are semiproper

DOI10.1142/S0219061313500013zbMATH Open1300.03022OpenAlexW2171603704WikidataQ123197515 ScholiaQ123197515MaRDI QIDQ2853979FDOQ2853979

Authors: Philipp Doebler 

Publication date: 17 October 2013

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0219061313500013

Recommendations

• Rado's conjecture and presaturation of the nonstationary ideal on ω₁
• Forcing axiom failure for any \(\lambda >\aleph_1\)
• Rado's conjecture and its Baire version
• \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings
• Conjectures of Rado and Chang and special Aronszajn trees

zbMATH Keywords

Chang's conjecturesemiproper forcingRado's conjecturesemistationary reflectionstationary set-preserving forcing

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Other set-theoretic hypotheses and axioms (03E65)

Cites Work

• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• PFA implies AD^L(ℝ)
• \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings
• On a Conjecture of R. Rado
• Semistationary and stationary reflection

Cited In (7)

• Increasing u₂ by a stationary set preserving forcing
• Rado’s Conjecture and its Baire version
• A variant of Shelah's characterization of Strong Chang's Conjecture
• Chang's conjecture and semiproperness of nonreasonable posets
• Strong Chang’s Conjecture, Semi-Stationary Reflection, the Strong Tree Property and two-cardinal square principles
• Strong downward Löwenheim-Skolem theorems for stationary logics. I
• \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings

This page was built for publication: Rado's conjecture implies that all stationary set preserving forcings are semiproper

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