@misc{indiciaeac907ca3154c, title = {Strong forcing axioms and the continuum problem (following Asperó's and Schindler's proof that \$\textbackslash{}mathbf\{MM\}\textasciicircum{}\{++\}\$ implies Woodin's Axiom \$(*)\$)}, author = {Matteo Viale}, year = {2023}, url = {https://arxiv.org/abs/2305.07784}, note = {Source identifier: 2305.07784} }