Martin’s Maximum$^{*, ++}_{c}$ in $P_{max}$ extensions of strong models of determinacy

Taichi Yasuda (U Münster)

Jun 28. 2024, 10:20 — 11:05

We study a strengthening of $MM^{++}$ which is called $MM^{*, ++}$ and which was introduced by Asperó and Schindler. We force its bounded version $MM^{*, ++}_{c}$, which is stronger that both $MM^{++}(c)$ as well as $BMM^{++}$, by $P_{max}$ forcing. We also give the construction of the ground model, which builds upon Gappo and Sargsyan, and the derived model construction of Larson, Sargsyan, and Wilson. This is a joint work with Ralf Schindler. 

Further Information
Venue:
ESI Boltzmann Lecture Hall
Recordings:
Recording
Associated Event:
Determinacy, Inner Models and Forcing Axioms (Workshop)
Organizer(s):
Sandra Müller (TU Vienna)
Grigor Sargsyan (Polish Academy of Science, Warsaw)
Ralf Schindler (WWU Münster)
John Steel (UC, Berkeley)