TY  - RPRT
TI  - Martin's Maximum${}^{\ast, ++}_{\mathfrak{c}}$ in $\mathbb{P}_{\max}$ extensions of strong models of determinacy
AU  - Ralf Schindler
AU  - Taichi Yasuda
PY  - 2024
UR  - https://arxiv.org/abs/2404.12836
ID  - 2404.12836
ER  -