HOD, V and the GCH
Abstract
Starting from large cardinals we construct a model of ZFC in which the GCH fails everywhere, but such that GCH holds in its HOD. The result answers a question of Sy Friedman. Also, relative to the existence of large cardinals, we produce a model of ZFC+GCH such that GCH fails everywhere in its HOD.
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.