A universal extender model without large cardinals in V

DOI10.2178/jsl/1082418531zbMath1069.03046OpenAlexW2023923602MaRDI QIDQ5311728

William J. Mitchell, Ralf-Dieter 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

weaselsset length iterationsset sized premice

Mathematics Subject Classification ID

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

Related Items (9)

A simple maximality principle ⋮ VARSOVIAN MODELS I ⋮ Hod mice and the Mouse Set Conjecture ⋮ Equiconsistencies at subcompact cardinals ⋮ Stacking mice ⋮ DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS ⋮ The self-iterability of L[E] ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ KWithout the Measurable

Cites Work

• The core model for almost linear iterations
• Unnamed Item
• Unnamed Item

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