Abstract
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.
Citation
William Mitchell. Ralf Schindler. "A universal extender model without large cardinals in V." J. Symbolic Logic 69 (2) 371 - 386, June 2004. https://doi.org/10.2178/jsl/1082418531
Information
