Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\)

DOI10.1016/S0168-0072(00)00020-8zbMath0973.03068MaRDI QIDQ1591204

Paul B. Larson

Publication date: 23 November 2001

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

consistencyforcinglarge cardinalsforcing notionforcing axiomsMartin's MaximumAxiom \((*)\)

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (6)

Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ What makes the continuum ℵ₂ ⋮ How many real numbers are there? ⋮ Martin's maximum and definability in \(H(\aleph_2\)) ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ Bounded Martin's maximum with an asterisk

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

This page was built for publication: Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\)