Martin's Maximum, Woodin's P_max axiom (*), and Cantor's Continuum Problem

15.12.2022 16:45 - 18:15

R. Schindler (U Münster, DE)

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.




HS 2, EG, OMP 1