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}}+‘‘\hat{I}˜$ is measurable$"$ implies the consistency of $\mathrm{ZF}+‘‘\hat{I}˜$ is the least strongly regular cardin…