Deconstructing inner model theory
From MaRDI portal
Publication:3149991
DOI10.2178/jsl/1190150106zbMath1017.03030OpenAlexW2007541981MaRDI QIDQ3149991
Martin Zeman, J. R. Steel, Ralf-Dieter Schindler
Publication date: 24 August 2003
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1190150106
Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)
Related Items (21)
IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES ⋮ The linearity of the Mitchell order ⋮ Long games and \(\sigma \)-projective sets ⋮ VARSOVIAN MODELS I ⋮ Hod mice and the Mouse Set Conjecture ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ The axiom of determinacy implies dependent choice in mice ⋮ Determinacy axioms and large cardinals ⋮ Covering at limit cardinals of K ⋮ \(\lambda\)-structures and \(s\)-structures: translating the models ⋮ \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies ⋮ CHARACTERIZATION OF □κ IN CORE MODELS ⋮ DODD PARAMETERS AND λ-INDEXING OF EXTENDERS ⋮ Cardinal transfer properties in extender models ⋮ Coherent sequences and threads ⋮ Projective games on the reals ⋮ Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse ⋮ The strength of choiceless patterns of singular and weakly compact cardinals ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ The definability of \(\mathbb{E}\) in self-iterable mice ⋮ The core model for almost linear iterations
Cites Work
This page was built for publication: Deconstructing inner model theory
