Obrad Kasum, Grigor Sargsyan
Published 2024-09-11Version 1
We present an $L$-like construction that produces the minimal model of $\mathsf{AD}_\mathbb{R}+$"$\Theta$ is regular". In fact, our construction can produce any model of $\mathsf{AD}^++\mathsf{AD}_\mathbb{R}+V=L(\mathcal{P}(\mathbb{R}))$ in which there is no hod mouse with a measurable limit of Woodins.
A generalization of Solovay's $Σ$-construction
The consistency strength of determinacy when all sets are universally Baire
The internal structure of $\mathrm{HOD}^{L[x]}$ up to its Woodin
![QR code for arXiv:2409.07156 [math.LO]](http://oss.arxitics.com/images/favicon.svg)