{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T07:40:06Z","timestamp":1777534806801,"version":"3.51.4"},"reference-count":25,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2016,8,12]],"date-time":"2016-08-12T00:00:00Z","timestamp":1470960000000},"content-version":"unspecified","delay-in-days":1076,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2013,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show in ZFC that if there is no proper class inner model with a Woodin cardinal, then there is an absolutely definable<jats:italic>core model<\/jats:italic>that is close to<jats:italic>V<\/jats:italic>in various ways.<\/jats:p>","DOI":"10.2178\/jsl.7803020","type":"journal-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T18:18:22Z","timestamp":1389032302000},"page":"708-734","source":"Crossref","is-referenced-by-count":32,"title":["<i>K<\/i>Without the Measurable"],"prefix":"10.1017","volume":"78","author":[{"given":"Ronald","family":"Jensen","sequence":"first","affiliation":[]},{"given":"John","family":"Steel","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2016,8,12]]},"reference":[{"key":"S0022481200150005_ref023","first-page":"1255","volume":"70","author":"Steel","year":"2005","journal-title":"PFA implies AD in L(\u211d)"},{"key":"S0022481200150005_ref006","first-page":"172","volume-title":"Logic Colloquium '02","volume":"27","author":"Gitik","year":"2006"},{"key":"S0022481200150005_ref019","doi-asserted-by":"publisher","DOI":"10.1142\/S0219061304000310"},{"key":"S0022481200150005_ref014","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(96)00032-2"},{"key":"S0022481200150005_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2010.08.003"},{"key":"S0022481200150005_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21903-4"},{"key":"S0022481200150005_ref017","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-99-02411-3"},{"key":"S0022481200150005_ref020","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00113-0"},{"key":"S0022481200150005_ref010","first-page":"315","volume":"74","author":"Jensen","year":"2009","journal-title":"Stacking mice"},{"key":"S0022481200150005_ref013","doi-asserted-by":"publisher","DOI":"10.4310\/MRL.1995.v2.n5.a6"},{"key":"S0022481200150005_ref012","doi-asserted-by":"publisher","DOI":"10.1017\/S030500410006151X"},{"key":"S0022481200150005_ref018","doi-asserted-by":"publisher","DOI":"10.2307\/2687750"},{"key":"S0022481200150005_ref009","author":"Jensen"},{"key":"S0022481200150005_ref001","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BFb0079419","volume-title":"Proceedings of the ISILC logic conference","volume":"499","author":"Devlin","year":"1975"},{"key":"S0022481200150005_ref008","unstructured":"Jensen R. B. , Robust extenders, handwritten notes, 2003, www.mathematik.hu-berlin.de\/~raesch\/org\/jensen.html."},{"key":"S0022481200150005_ref007","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(72)90001-0"},{"key":"S0022481200150005_ref015","first-page":"371","volume":"69","author":"Mitchell","year":"2004","journal-title":"A universal extender model without large cardinals in V"},{"key":"S0022481200150005_ref011","unstructured":"Mitchell W. J. , The core model for sequences of measures II, unpublished preliminary draft, 1982."},{"key":"S0022481200150005_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(82)90018-3"},{"key":"S0022481200150005_ref024","doi-asserted-by":"publisher","DOI":"10.1142\/9789812794055_0003"},{"key":"S0022481200150005_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(82)90013-4"},{"key":"S0022481200150005_ref022","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22485-4"},{"key":"S0022481200150005_ref025","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5764-9_20"},{"key":"S0022481200150005_ref021","unstructured":"Schlutzenberg F. , Measures in mice, Ph.D. thesis, University of California at Berkeley, 2007."},{"key":"S0022481200150005_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(81)90011-5"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200150005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,13]],"date-time":"2020-08-13T12:23:28Z","timestamp":1597321408000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200150005\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["S0022481200150005"],"URL":"https:\/\/doi.org\/10.2178\/jsl.7803020","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9]]}}}