HODas a core model
From MaRDI portal
Publication:5219255
DOI10.1017/CBO9781139519694.010zbMath1431.03068MaRDI QIDQ5219255
Publication date: 9 March 2020
Published in: Ordinal Definability and Recursion Theory The Cabal Seminar Volume III (Search for Journal in Brave)
Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)
Related Items (17)
On -Strongly Measurable Cardinals ⋮ A long pseudo-comparison of premice in \(L[x\)] ⋮ Determinacy from strong compactness of \(\omega_1\) ⋮ The comparison lemma ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ 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 ⋮ Iterates of $M_1$ ⋮ A brief account of recent developments in inner model theory ⋮ HOD in natural models of \(\mathsf{AD}^+\) ⋮ An inner model theoretic proof of Becker's theorem ⋮ Long Borel games ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ Tall cardinals in extender models ⋮ IN INNER MODELS WITH WOODIN CARDINALS
This page was built for publication: HODas a core model
