\(\lambda\)-structures and \(s\)-structures: translating the models

DOI10.1016/j.apal.2010.08.003zbMath1250.03106OpenAlexW1975137889MaRDI QIDQ638495

Gunter Fuchs

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

zbMATH Keywords

miceindexingextendersinner model theory

Mathematics Subject Classification ID

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

Related Items (6)

The comparison lemma ⋮ Recognizable sets and Woodin cardinals: computation beyond the constructible universe ⋮ \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies ⋮ Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse ⋮ Successor levels of the Jensen hierarchy ⋮ KWithout the Measurable

Cites Work

• An Outline of Inner Model Theory
• Deconstructing inner model theory
• SUBCOMPLETE FORCING AND ℒ-FORCING
• Successor levels of the Jensen hierarchy
• The fine structure of the constructible hierarchy
• Inner models and large cardinals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(\lambda\)-structures and \(s\)-structures: translating the models