{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T23:46:03Z","timestamp":1768520763729,"version":"3.49.0"},"reference-count":6,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":3571,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2004,6]]},"abstract":"<jats:title>Abstract.<\/jats:title><jats:p>We construct, assuming that there is no inner model with a Woodin cardinal but without any large cardinal assumption, a model <jats:italic>K<\/jats:italic><jats:sup><jats:italic>c<\/jats:italic><\/jats:sup> 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.<\/jats:p>","DOI":"10.2178\/jsl\/1082418531","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T21:33:58Z","timestamp":1109799238000},"page":"371-386","source":"Crossref","is-referenced-by-count":5,"title":["A universal extender model without large cardinals in <i>V<\/i>"],"prefix":"10.1017","volume":"69","author":[{"given":"William","family":"Mitchell","sequence":"first","affiliation":[]},{"given":"Ralf","family":"Schindler","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200007787_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00113-0"},{"key":"S0022481200007787_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21903-4"},{"key":"S0022481200007787_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22485-4"},{"key":"S0022481200007787_ref002","volume-title":"Addendum to \u201cA new fine structure for higher core models\u201d","author":"Jensen","year":"1997"},{"key":"S0022481200007787_ref001","volume-title":"Set theory","author":"Jech","year":"1978"},{"key":"S0022481200007787_ref005","first-page":"721","volume":"67","author":"Schindler","year":"2002","journal-title":"Deconstructing inner model theory"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200007787","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T21:02:40Z","timestamp":1557176560000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200007787\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6]]},"references-count":6,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,6]]}},"alternative-id":["S0022481200007787"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1082418531","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,6]]}}}