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

arXiv commentarXiv admin note: text overlap with arXiv:1510.02937