TY  - RPRT
TI  - Strong forcing axioms and the continuum problem (following Asperó's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$)
AU  - Matteo Viale
PY  - 2023
UR  - https://arxiv.org/abs/2305.07784
ID  - 2305.07784
ER  -