arXiv:1512.06192 [math.LO]AbstractReferencesReviewsResources
HOD, V and the GCH
Published 2015-12-19Version 1
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$.
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1708.07561 [math.LO] (Published 2017-08-24)
Model-theoretic Characterizations of Large Cardinals
arXiv:1902.10212 [math.LO] (Published 2019-02-26)
Tameness, powerful images, and large cardinals
arXiv:2401.01979 [math.LO] (Published 2024-01-03)
Low level definability above large cardinals