Building Models of Determinacy from Below

Obrad Kasum, Grigor Sargsyan

We present an $L$-like construction that produces the minimal model of ${\mathsf{AD}}_{\mathbb{R}}+$"$\hat{I}˜$ is regular". In fact, our construction can produce any model of $\mathsf{AD}^+…