A universal extender model without large cardinals in V

DOI10.2178/JSL/1082418531MaRDI QIDQ5311728zbMATH OpenOpenAlexFDO

Authors William J. Mitchell, Ralf Schindler

Publication date 29 August 2005

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

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

zbMATH Keywords

set length iterationsset sized premiceweasels

Mathematics Subject Classification ID

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

Recommendations

• Suitable extender models. I
• The maximality of the core model
• scientific article; zbMATH DE number 967740
• Suitable extender models. II: Beyond -huge
• Inner models with many Woodin 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?)
• The core model for almost linear iterations

Cited in

(18)

• Supercomplete extenders and type 1 mice. I
• Generic Vopěnka cardinals and models of ZF with few \(\aleph _1\)-Suslin sets
• All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters
• K without the measurable
• Suitable extender models. II: Beyond -huge
• Hod mice and the mouse set conjecture
• A simple maximality principle
• The self-iterability of L[E]
• Stacking mice
• VARSOVIAN MODELS I
• Downward transference of mice and universality of local core models
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• N-Berkeley cardinals and weak extender models
• The domestic levels of K^c are iterable
• How to win some simple iteration games
• Equiconsistencies at subcompact cardinals
• The consistency strength of determinacy when all sets are universally Baire
• Origin and development of the theory of coremodels. II

This page was built for publication: A universal extender model without large cardinals in V

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