Hod up to AD${}_{\mathbb{R}}+\Theta$ is measurable

Grigor Sargsyan, Rachid Atmai

Suppose $M$ is a transitive class size model of $A{D}_{\mathbb{R}}+‘‘\Theta$ is regular". $M$ is a minimal model of $A{D}_{\mathbb{R}}+‘‘\Theta$ is measurable" if (i) $\mathbb{R}, Ord\subseteq M…