-structures and s-structures: translating the models

DOI10.1016/J.APAL.2010.08.003MaRDI QIDQ638495zbMATH OpenOpenAlexFDO

Authors 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

miceindexinginner model theoryextenders

Mathematics Subject Classification ID

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

Recommendations

• \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies
• Translation procedures in descriptive inner model theory
• An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus.
• Publication:3026332
• scientific article; zbMATH DE number 4213976

Cites work

• scientific article; zbMATH DE number 3685484 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• An outline of inner model theory
• Deconstructing inner model theory
• Inner models and large cardinals
• Subcomplete forcing and \(\mathcal{L}\)-forcing
• Successor levels of the Jensen hierarchy
• The fine structure of the constructible hierarchy

Cited in

(8)

• scientific article; zbMATH DE number 2186833 (Why is no real title available?)
• \(K\) without the measurable
• The Lawrence-Sullivan construction is the right model for \(I^{+}\)
• The comparison lemma
• Successor levels of the Jensen hierarchy
• \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies
• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
• Recognizable sets and Woodin cardinals: computation beyond the constructible universe

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q638495)