The ground axiom is consistent with V $\neq $ HOD

DOI10.1090/S0002-9939-08-09285-XzbMath1145.03029WikidataQ114009907 ScholiaQ114009907MaRDI QIDQ3518255

Joel David Hamkins, W. Hugh Woodin, Jonas Reitz

Publication date: 7 August 2008

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Related Items

Accessing the switchboard via set forcing ⋮ THE SET-THEORETIC MULTIVERSE ⋮ Inner-model reflection principles ⋮ STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L ⋮ Inner mantles and iterated HOD ⋮ Forcing, Multiverse and Realism ⋮ Indestructibility, HOD, and the Ground Axiom ⋮ Some Second Order Set Theory ⋮ Laver and set theory ⋮ Set-theoretic geology ⋮ MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING

Cites Work

• Unnamed Item
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Fine structure and class forcing
• Certain very large cardinals are not created in small forcing extensions
• Extensions with the approximation and cover properties have no new large cardinals
• The ground axiom
• Consistency results about ordinal definability