Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH

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$.

No reviews yet.

No comments yet.