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 structureinitial segment conditioninner model theoryMitchell-Steel modelstype Z extenders

Mathematics Subject Classification ID

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

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

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

Cited in

(27)

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