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

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

arXiv admin note: text overlap with arXiv:1510.02933