Abstract
We show that Martin's Maximum${}^{++}$ implies Woodin's $\mathbb{P}_{\mathrm{max}}$ 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 $ℵ_2$ many real numbers.
Citation
David Asperó. Ralf Schindler. "Martin's Maximum${}^{++}$ implies Woodin's axiom $(*)$." Ann. of Math. (2) 193 (3) 793 - 835, May 2021. https://doi.org/10.4007/annals.2021.193.3.3
Information