The Ground Axiom

Journal of Symbolic Logic

Volumn 72, Issue 4, 2007, Pages 1299-1317

  Reitz, Jonas ^a  

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

Author keywords

Coding; Forcing; Ordinal definability; The Bedrock Axiom; The Ground Axiom

Indexed keywords

EID: 38049102863     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1203350787     Document Type: Article

References (13)

1. A. BELLER, R. JENSEN, and P. WELCH, Coding the Universe. London Mathematical Society Lecture Note Series, Cambridge University Press, 1982.
2. W. B. EASTON, Powers of regular cardinals, Annals of Mathematical Logic, vol. 1 (1970), pp. 139-178.
3. S. D. FRIEDMAN, Fine Structure and Class Forcing, Series in Logic and its Applications, vol. 3, de Gruyter, 2000.
4. G. FUCHS and J.-D. HAMKINS, Degrees of rigidity for Suslin trees, in preparation.
5. J.-D. HAMKINS, Extensions with the approximation and cover properties have no new large cardinals, Fundamenta Mathematicae, vol. 180 (2003), no. 3, pp. 257-277.
6. J.-D. HAMKINS, J. REITZ, and W-H. WOODIN, The ground axiom is consistent with V ≠ HOD, in preparation.
7. T. JECH, Set Theory, 3rd ed., Spring Monographs in Mathematics, Springer, 2003.
8. K. KUNEN, Set Theory, An Introduction to Independence Proofs, North-Holland, 1980.
9. P. LARSON, Separating stationary reflection principles, this JOURNAL, vol. 65 (2000), no. 1, pp. 247-258.
10. R. LAVER, Making the supercompactness of k indestructible under k-directed closed forcing, Israel Journal of Mathematics, vol. 29 (1978), pp. 385-388.
11. _, Certain very large cardinals are not created in small forcing extensions, forthcoming.
12. K. MCALOON, Consistency results about ordinal definability, Annals of Mathematical Logic, vol. 2 (1971), no. 4, pp. 449-467.
13. W.-H. WOODIN, The continuum hypothesis, the generic-multiverse of sets, and the ca conjecture, Proceedings of the Conference on the Continuum, 2005.