Pages that link to "Item:Q971477"
From MaRDI portal
The following pages link to \(\Pi_2\) consequences of \(\mathsf{BMM}+\mathsf{NS}_{\omega_1}\) is precipitous and the semiproperness of stationary set preserving forcings (Q971477):
Displaying 11 items.
- Simple proofs of SCH from reflection principles without using better scales (Q494653) (← links)
- Bounded Martin's maximum with an asterisk (Q740201) (← links)
- Strong Chang's conjecture and the tree property at \(\omega_{2}\) (Q898536) (← links)
- Chang's conjecture and semiproperness of nonreasonable posets (Q1799325) (← links)
- Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) (Q2028503) (← links)
- RADO'S CONJECTURE IMPLIES THAT ALL STATIONARY SET PRESERVING FORCINGS ARE SEMIPROPER (Q2853979) (← links)
- Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on <i>ω</i><sub>1</sub> (Q2892671) (← links)
- Strong Chang’s Conjecture, Semi-Stationary Reflection, the Strong Tree Property and two-cardinal square principles (Q2957272) (← links)
- Combinatorial Dichotomies in Set Theory (Q3083465) (← links)
- FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION (Q5159486) (← links)
- Woodin’s axiom (*), or Martin’s Maximum, or both? (Q5351855) (← links)