The following pages link to A criterion for coarse iterability (Q971884):
Displaying 6 items.
- Thin equivalence relations and inner models (Q2250452) (← links)
- Preserving levels of projective determinacy by tree forcings (Q2659097) (← links)
- Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on <i>ω</i><sub>1</sub> (Q2892671) (← links)
- THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL (Q4692074) (← links)
- Mice with finitely many Woodin cardinals from optimal determinacy hypotheses (Q4988870) (← links)
- THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY (Q5107234) (← links)
