Martin's Maximum++ implies Woodin's axiom (*)

David Aspero, Ralf Schindler

Research output: Contribution to journalArticlepeer-review

7 Citations (Scopus)
18 Downloads (Pure)


We show that Martin's Maximum ++ implies Woodin's Pmax axiom (*). This answers a question from the 1990s and amalgamates two prominent axioms of set theory which were both known to imply that there are N2 many real numbers.

Original languageEnglish
Pages (from-to)793-835
Number of pages43
JournalAnnals of Mathematics
Issue number3
Publication statusPublished - May 2021


  • $\mathbb P_{max}$, Continuum Hypothesis, Axiom $(*)$, forcing axioms

Cite this