Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH
Volume 223 / 2013
Fundamenta Mathematicae 223 (2013), 171-193
MSC: 03E35, 03E55.
DOI: 10.4064/fm223-2-3
Abstract
Starting from large cardinals we construct a pair $V_1\subseteq V_2$ of models of ZFC with the same cardinals and cofinalities such that GCH holds in $V_1$ and fails everywhere in $V_2$.
