2023 Spring Matteo Viale, Generic absoluteness theorem for the $\omega_1$ Chang model conditioned to $MM^{+++}$ Paul Larson, A course on $AD^+$./li> </ul> </p>