X-Nico

Singular cardinals hypothesis

Gitik, building on work of Woodin, was able to replace the supercompact in Silver's proof with a measurable of Mitchell order $\backslash kappa^\{++\}$.

•

In fact, by results of Moti Gitik, ZFC + the negation of SCH is equiconsistent with ZFC + the existence of a measurable cardinal κ of Mitchell order κ⁺⁺.

see also