A theorem of Woodin on mouse sets
From MaRDI portal
Publication:5219254
DOI10.1017/CBO9781139519694.009zbMath1431.03067OpenAlexW2485989334MaRDI QIDQ5219254
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.009
Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)
Related Items (9)
HAPPY AND MAD FAMILIES INL(ℝ) ⋮ \(L(\mathbb{R}, \mu)\) is unique ⋮ The comparison lemma ⋮ Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire ⋮ A brief account of recent developments in inner model theory ⋮ HOD in natural models of \(\mathsf{AD}^+\) ⋮ PROVABLY GAMES
This page was built for publication: A theorem of Woodin on mouse sets
