In 2019, D. Asperó and the speaker showed that \(\textrm{Martin's Maximum}^{++}\) implies the \(\mathbb{P}_{max}\) axiom \((*)\). This amalgamated two prominent maximality principles which before had often been considered as competitors. We provide some background and give an outline of the proof method. We also discuss to which extent our result has an impact on the question as to how many real numbers there are.
Students at Uni Wien are required to attend in person.