The Ground Axiom is consistent with V ≠ HOD

Proceedings of the American Mathematical Society

Volumn 136, Issue 8, 2008, Pages 2943-2949

  Hamkins, Joel David ^a,b   Reitz, Jonas ^a,c   Woodin, W Hugh ^d  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b CITY UNIVERSITY OF NEW YORK   (United States)

^c NEW YORK CITY COLLEGE OF TECHNOLOGY   (United States)

^d UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 59149106819     PISSN: 00029939     EISSN: None     Source Type: Journal    
DOI: 10.1090/S0002-9939-08-09285-X     Document Type: Article

References (11)

1. A. Beller, R. Jensen, and P. Welch, Coding the Universe, London Mathematical Society Lecture Note Series, Cambridge University Press, 1982. MR645538 (84b:03002)
2. Sy D. Friedman, Fine Structure and Class Forcing, vol. 3 of Series in Logic and Its Applications, de Gruyter, 2000. MR1780138 (2001g:03001)
3. Joel David Hamkins, Extensions with the approximation and cover properties have no new large cardinals, Fundamenta Mathematicae 180 (2003), no. 3, 257-277. MR2063629 (2005m:03100)
4. -, The Ground Axiom, Oberwolfach Report 55 (2005), 3160-3162.
5. Richard Laver, Certain very large cardinals are not created in small forcing extensions, to appear in the Annals of Pure and Applied Logic.
6. -, Making the supercompactness of κ indestructible under κ-directed closed forcing, Israel Journal of Mathematics 29 (1978), 385-388. MR0472529 (57:12226)
7. K. McAloon, Consistency results about ordinal definability, Annals of Mathematical Logic 2 (1970 /71), no. 4, 449-467. MR0292670 (45:1753)
8. William Mitchell, A Note on Hamkins' Approximation Lemma, available at http://www.math. ufl.edu/mitchell, December 2003.
9. Jonas Reitz, The Ground Axiom, to appear in the ournal of Symbolic Logic.
10. -, The Ground Axiom, Ph. D. thesis, The Graduate Center of the City University of New York, September 2006.
11. W. Hugh Woodin, Recent Developments on Cantor's Continuum Hypothesis, Proceedings of the Continuum in Philosophy and Mathematics, Carlsberg Academy, Copenhagen, November 2004, to appear.