-structures and s-structures: translating the models

DOI10.1016/J.APAL.2010.08.003zbMATH Open1250.03106OpenAlexW1975137889MaRDI QIDQ638495FDOQ638495

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

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

zbMATH Keywords

miceindexinginner model theoryextenders

Mathematics Subject Classification ID

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

Cites Work

• The fine structure of the constructible hierarchy
• Title not available (Why is that?)
• Title not available (Why is that?)
• An outline of inner model theory
• Inner models and large cardinals
• Title not available (Why is that?)
• Title not available (Why is that?)
• Deconstructing inner model theory
• Subcomplete forcing and \(\mathcal{L}\)-forcing
• Successor levels of the Jensen hierarchy

Cited In (8)

• Title not available (Why is that?)
• \(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)