Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\)
From MaRDI portal
Publication:1591204
DOI10.1016/S0168-0072(00)00020-8zbMath0973.03068MaRDI QIDQ1591204
Publication date: 23 November 2001
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
consistency; forcing; large cardinals; forcing notion; forcing axioms; Martin's Maximum; Axiom \((*)\)
03E35: Consistency and independence results
03E55: Large cardinals
03E65: Other set-theoretic hypotheses and axioms
03E40: Other aspects of forcing and Boolean-valued models
Related Items
Woodin’s axiom (*), or Martin’s Maximum, or both?, What makes the continuum ℵ₂, How many real numbers are there?, Bounded Martin's maximum with an asterisk, Martin's maximum and definability in \(H(\aleph_2\)), Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
Cites Work
- Unnamed Item
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
- The size of \(\widetilde T\)
- Chang's Conjecture and the Non-Stationary Ideal
- Projective Stationary Sets and a Strong Reflection Principle