2015/12/19 by Mohammad Golshani, Golshani, Mohammad
Mathematics · Computer Science · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Mathematical and Theoretical Analysis
paper · pdf · doi:10.48550/arxiv.1512.06192
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.