HODas a core model

DOI10.1017/CBO9781139519694.010MaRDI QIDQ5219255zbMATH OpenFDO

Authors W. Hugh Woodin, John Steel

Publication date 9 March 2020

Published in Ordinal Definability and Recursion Theory The Cabal Seminar Volume III (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/CBO9781139519694.010

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Cited in

(24)

• A long pseudo-comparison of premice in \(L[x]\)
• Long Borel games
• Tall cardinals in extender models
• HOD in natural models of \(\mathsf{AD}^+\)
• An inner model theoretic proof of Becker's theorem
• Determinacy from strong compactness of \(\omega_1\)
• A brief account of recent developments in inner model theory
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• HOD in inner models with Woodin cardinals
• The consistency strength of long projective determinacy
• Iterates of M₁
• On -Strongly Measurable Cardinals
• The comparison lemma
• NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON
• Determinacy axioms and large cardinals
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• NOTE ON IMPLYING
• Hjorth's reflection argument
• Gödel's program in set theory
• Set theory. Abstracts from the workshop held January 12--17, 2025
• \(\mathsf{AD}^+\) implies \(\omega_1\) is a club \(\Theta\)-Berkeley cardinal
• On \(\omega\)-strongly measurable cardinals in \(\mathbb{P}_{\max}\) extensions
• Analysis of HOD for admissible structures
• Boldface GCH below the first uncountable limit cardinal

This page was built for publication: HODas a core model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5219255)