On a theorem of Magidor

Abstract

Assuming $\kappa$ is a supercompact cardinal and $\lambda$ is an inaccessible cardinal above it, we present an idea due to Magidor, to find a generic extension in which $\kappa ={\aleph }_{\omega }$ and $\lambda ={\aleph }_{\omega +1}.$