The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal

Yong Cheng

In this paper, we prove that: if $\kappa$ is supercompact and the $\mathsf{HOD}$ Hypothesis holds, then there is a proper class of regular cardinals in $V_{\kappa }$ which are measurable in $\m…