A universal extender model without large cardinals in V
From MaRDI portal
Publication:5311728
DOI10.2178/jsl/1082418531zbMath1069.03046MaRDI 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
03E45: Inner models, including constructibility, ordinal definability, and core models
Related Items
Equiconsistencies at subcompact cardinals, KWithout the Measurable, Hod mice and the Mouse Set Conjecture, A simple maximality principle, The self-iterability of L[E], Stacking mice
Cites Work