Violating the Singular Cardinals Hypothesis Without Large Cardinals
arXiv:1107.1667
Abstract
We extend a transitive model V of ZFC + GCH cardinal preservingly to a model N of ZF + "GCH holds below Alef_omega" + "there is a surjection from the power set of Alef_omega onto lambda" where lambda is an arbitrarily high fixed cardinal in V.
18 pages, to appear in Israel Journal of Mathematics