Pages that link to "Item:Q2028503"
From MaRDI portal
The following pages link to Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) (Q2028503):
Displaying 5 items.
- Forcing axioms and the complexity of non-stationary ideals (Q2165633) (← links)
- STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-<i>L</i> (Q6051424) (← links)
- -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders (Q6064822) (← links)
- Boolean valued semantics for infinitary logics (Q6073912) (← links)
- How many real numbers are there? (Q6114787) (← links)
