Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH
classification
🧮 math.LO
keywords
cardinalseverywherecofinalitiescofinality-preservingconstructfailsforcingholds
read the original 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$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.