\(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings

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

Related Items (11)

Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁ ⋮ Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ Strong Chang’s Conjecture, Semi-Stationary Reflection, the Strong Tree Property and two-cardinal square principles ⋮ Strong Chang's conjecture and the tree property at \(\omega_{2}\) ⋮ Simple proofs of SCH from reflection principles without using better scales ⋮ FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ Chang's conjecture and semiproperness of nonreasonable posets ⋮ Bounded Martin's maximum with an asterisk ⋮ Combinatorial Dichotomies in Set Theory ⋮ RADO'S CONJECTURE IMPLIES THAT ALL STATIONARY SET PRESERVING FORCINGS ARE SEMIPROPER

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