A Note on a Theorem of Apter

Rahman Mohammadpour, Otto Rajala, Sebastiano Thei

We show that the consistency of $\mathrm{ZF}+{\mathrm{AD}}_{\mathbb{R}}+‘‘\Theta$ is measurable$"$ implies the consistency of $\mathrm{ZF}+‘‘\Theta$ is the least strongly regular cardinal…