\(\lambda\)-structures and \(s\)-structures: translating the models
From MaRDI portal
Publication:638495
DOI10.1016/j.apal.2010.08.003zbMath1250.03106MaRDI QIDQ638495
Publication date: 12 September 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2010.08.003
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
Related Items
Successor levels of the Jensen hierarchy, The comparison lemma, Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse, \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies, Recognizable sets and Woodin cardinals: computation beyond the constructible universe, KWithout the Measurable
Cites Work