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
Cites Work