Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 69, Issue 2 (2004), 371-386.
A universal extender model without large cardinals in V
We construct, assuming that there is no inner model with a Woodin cardinal but without any large cardinal assumption, a model Kc which is iterable for set length iterations, which is universal with respect to all weasels with which it can be compared, and (assuming GCH) is universal with respect to set sized premice.
J. Symbolic Logic, Volume 69, Issue 2 (2004), 371-386.
First available in Project Euclid: 19 April 2004
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Mitchell, William; Schindler, Ralf. A universal extender model without large cardinals in V. J. Symbolic Logic 69 (2004), no. 2, 371--386. doi:10.2178/jsl/1082418531. https://projecteuclid.org/euclid.jsl/1082418531