Deconstructing inner model theory

DOI10.2178/JSL/1190150106MaRDI QIDQ3149991zbMATH OpenOpenAlexFDO

Authors Martin Zeman, Ralf Schindler, John Steel

Publication date 24 August 2003

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1190150106

zbMATH Keywords

fine structureinner model theoryinitial segment conditionMitchell-Steel modelstype Z extenders

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 967740
• scientific article; zbMATH DE number 567513
• Inner models and large cardinals
• scientific article; zbMATH DE number 733389
• Beginning inner model theory
• Report 20/2006: Mini-workshop: Feinstrukturtheorie und innere Modelle (April 30th -- May 6th, 2006)
• On the consistency strength of the inner model hypothesis
• The core model for almost linear iterations
• Combinatorial principles in the core model for one Woodin cardinal
• Successive weakly compact or singular cardinals

Cites work

• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• Combinatorial principles in the core model for one Woodin cardinal

Cited in

(27)

• Coherent sequences and threads
• The definability of \(\mathbb{E}\) in self-iterable mice
• On the consistency strength of the inner model hypothesis
• Hod mice and the mouse set conjecture
• Covering at limit cardinals of K
• Inner Models of Univalence
• The axiom of determinacy implies dependent choice in mice
• scientific article; zbMATH DE number 4047708 (Why is no real title available?)
• In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures
• Long games and \(\sigma \)-projective sets
• Foundational implications of the inner model hypothesis
• Origin and development of the theory of coremodels. II
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• The linearity of the Mitchell order
• \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies
• DODD PARAMETERS AND λ-INDEXING OF EXTENDERS
• Gödel's program in set theory
• The strength of choiceless patterns of singular and weakly compact cardinals
• The core model for almost linear iterations
• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
• -structures and s-structures: translating the models
• VARSOVIAN MODELS I
• Cardinal transfer properties in extender models
• Determinacy axioms and large cardinals
• The consistency strength of long projective determinacy
• Projective games on the reals
• CHARACTERIZATION OF □_κ IN CORE MODELS

This page was built for publication: Deconstructing inner model theory

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