\(\lambda\)-structures and \(s\)-structures: translating the iteration strategies

DOI10.1016/j.apal.2011.02.002zbMath1250.03107OpenAlexW2019802298MaRDI QIDQ639674

Gunter Fuchs

Publication date: 22 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.2011.02.002

zbMATH Keywords

miceindexingiterationsextendersinner model theory

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items

The comparison lemma, Recognizable sets and Woodin cardinals: computation beyond the constructible universe

Cites Work

• Unnamed Item
• Unnamed Item
• \(\lambda\)-structures and \(s\)-structures: translating the models
• An Outline of Inner Model Theory
• Deconstructing inner model theory
• Successor levels of the Jensen hierarchy
• The fine structure of the constructible hierarchy
• Inner models and large cardinals