Hod up to AD$_{\mathbb{R}}+Θ$ is measurable
Suppose $M$ is a transitive class size model of $AD_{\mathbb{R}}+``Θ$ is regular". $M$ is a minimal model of $AD_{\mathbb{R}}+``Θ$ is measurable" if (i) $\mathbb{R}, Ord\subseteq M$ (ii) there is $μ\in M$ such that $M\models ``μ$ is a normal $\mathbb{R}$-complete measure on $Θ$" and (iii) for any transitive class size $N\subsetneq M$ such that $\mathbb{R}\subseteq N$, $N\models ``$there is no $\mathbb{R}$-complete measure on $Θ$". Continuing Trang's work in [8], we compute HOD of a minimal model of $AD_{\mathbb{R}}+``Θ$ is measurable".
math.LO↗