Skip to main content Accessibility help




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.



Hide All
[1] Brooke-Taylor, A. D., Large Cardinals and definable well-orders on the universe, this Journal, vol. 74 (2009), no. 2, pp. 641654.
[2] Cummings, J., David Friedman, S., and Golshani, M., Collapsing the cardinals of HOD . Journal of Mathematical Logic. vol. 15 (2015), no. 2, 32 pages.
[3] Friedman, S.-D., Personal communication.
[4] Friedman, S.-D. and Golshani, Mohammad, Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH . Fundamenta Mathematicae, vol. 223 (2013), no. 2, pp. 171193.
[5] Fuchs, G., David Hamkins, J., and Reitz, J., Set-theoretic geology . Annals of Pure and Applied Logic, vol. 166 (2015), no. 4, pp. 464501.
[6] Gitik, M., Prikry-type forcings , Handbook of Set Theory, Springer, Dordrecht, 2010, pp. 13511447.
[7] Merimovich, C., A power function with a fixed finite gap everywhere, this Journal, vol. 72 (2007), no. 2, pp. 361417.
[8] Roguski, S., The theory of the class HOD , Set Theory and Hierarchy Theory, V (Proc. Third Conf., Bierutowice, 1976), Lecture Notes in Mathematics, vol. 619, Springer, Berlin, 1977, pp. 251255.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed