Inner mantles and iterated HOD

DOI10.1002/malq.201800071OpenAlexW2994785215WikidataQ126543637 ScholiaQ126543637MaRDI QIDQ5108877

Jonas Reitz, Kameryn J. Williams

Publication date: 6 May 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1810.08702

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40)

Related Items

STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L ⋮ Cohen forcing and inner models

Cites Work

• Unnamed Item
• Classes and truths in set theory
• Iterating ordinal definability
• Certain very large cardinals are not created in small forcing extensions
• Set-theoretic geology
• Characterizations of pretameness and the Ord-cc
• Saccharinity
• The ground axiom is consistent with V $\neq $ HOD
• Forcing with trees and ordinal definability
• On non-wellfounded iterations of the perfect set forcing
• The downward directed grounds hypothesis and very large cardinals
• Set Theory
• Cohen forcing and inner models
• Open determinacy for class games
• The ground axiom
• Consistency results about ordinal definability
• Generalized Iteration of Forcing