A universal extender model without large cardinals in V
Mitchell, William ; Schindler, Ralf
J. Symbolic Logic, Tome 69 (2004) no. 1, p. 371-386 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2004-06-15
Classification:  Set theory,  core models,  large cardinals,  03E45 
@article{1082418531,
     author = {Mitchell, William and Schindler, Ralf},
     title = {A universal extender model without large cardinals in V},
     journal = {J. Symbolic Logic},
     volume = {69},
     number = {1},
     year = {2004},
     pages = { 371-386},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1082418531}
}

Mitchell, William; Schindler, Ralf. A universal extender model without large cardinals in V. J. Symbolic Logic, Tome 69 (2004) no. 1, pp.  371-386. http://gdmltest.u-ga.fr/item/1082418531/