Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH
Abstract
Starting from large cardinals we construct a pair V1⊂eq V2 of models of ZFC with the same cardinals and cofinalities such that GCH holds in V1 and fails everywhere in V2.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.