{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T16:26:25Z","timestamp":1776702385995,"version":"3.51.2"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2015,12,22]],"date-time":"2015-12-22T00:00:00Z","timestamp":1450742400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1007\/s00153-015-0465-4","type":"journal-article","created":{"date-parts":[[2015,12,22]],"date-time":"2015-12-22T07:38:08Z","timestamp":1450769888000},"page":"207-238","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Equiconsistencies at subcompact cardinals"],"prefix":"10.1007","volume":"55","author":[{"given":"Itay","family":"Neeman","sequence":"first","affiliation":[]},{"given":"John","family":"Steel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,22]]},"reference":[{"key":"465_CR1","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF02773379","volume":"125","author":"A. Andretta","year":"2001","unstructured":"Andretta A., Neeman I., Steel J.: The domestic levels of K c are iterable. Isr. J. Math. 125, 157\u2013201 (2001)","journal-title":"Isr. J. Math."},{"issue":"1","key":"465_CR2","doi-asserted-by":"crossref","first-page":"315","DOI":"10.2178\/jsl\/1231082314","volume":"74","author":"R. Jensen","year":"2009","unstructured":"Jensen R., Schimmerling E., Schindler R., Steel J.: Stacking mice. J. Symb. Log. 74(1), 315\u2013335 (2009)","journal-title":"J. Symb. Log."},{"issue":"1\u20132","key":"465_CR3","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s00153-012-0307-6","volume":"52","author":"K. Kypriotakis","year":"2013","unstructured":"Kypriotakis K., Zeman M.: A characterization of \u25a1(\u03ba +) in extender models. Arch. Math. Log. 52(1\u20132), 67\u201390 (2013)","journal-title":"Arch. Math. Log."},{"issue":"1","key":"465_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0894-0347-1994-1224594-7","volume":"7","author":"D.A. Martin","year":"1994","unstructured":"Martin D.A., Steel J.R.: Iteration trees. J. Am. Math. Soc. 7(1), 1\u201373 (1994)","journal-title":"J. Am. Math. Soc."},{"issue":"2","key":"465_CR5","doi-asserted-by":"crossref","first-page":"371","DOI":"10.2178\/jsl\/1082418531","volume":"69","author":"W. Mitchell","year":"2004","unstructured":"Mitchell W., Schindler R.: A universal extender model without large cardinals in V. J. Symb. Log. 69(2), 371\u2013386 (2004)","journal-title":"J. Symb. Log."},{"key":"465_CR6","doi-asserted-by":"crossref","unstructured":"Mitchell, W.J., Steel, J.R.: Fine structure and iteration trees. Lecture Notes in Logic. vol. 3, Springer, Berlin (1994)","DOI":"10.1007\/978-3-662-21903-4"},{"key":"465_CR7","unstructured":"Neeman, I., Steel, J.: Equiconsistencies at finite gap subcompactness (to appear)"},{"issue":"3","key":"465_CR8","doi-asserted-by":"crossref","first-page":"1285","DOI":"10.2307\/2586630","volume":"64","author":"I. Neeman","year":"1999","unstructured":"Neeman I., Steel J.: A weak Dodd-Jensen lemma. J. Symb. Log. 64(3), 1285\u20131294 (1999)","journal-title":"J. Symb. Log."},{"key":"465_CR9","unstructured":"Sargsyan, G.: A tale of hybrid mice, To appear in the Memoirs of the American Mathematical Society"},{"issue":"1","key":"465_CR10","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/j.aim.2007.05.005","volume":"216","author":"E. Schimmerling","year":"2007","unstructured":"Schimmerling E.: Coherent sequences and threads. Adv. Math. 216(1), 89\u2013117 (2007)","journal-title":"Adv. Math."},{"issue":"3","key":"465_CR11","doi-asserted-by":"crossref","first-page":"305","DOI":"10.2307\/2687750","volume":"7","author":"E. Schimmerling","year":"2001","unstructured":"Schimmerling E., Zeman M.: Square in core models. Bull. Symb. Log. 7(3), 305\u2013314 (2001)","journal-title":"Bull. Symb. Log."},{"issue":"1","key":"465_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0219061304000310","volume":"4","author":"E. Schimmerling","year":"2004","unstructured":"Schimmerling E., Zeman M.: Characterization of \u25a1 \u03ba in core models. J. Math. Log. 4(1), 1\u201372 (2004)","journal-title":"J. Math. Log."},{"issue":"3","key":"465_CR13","doi-asserted-by":"crossref","first-page":"721","DOI":"10.2178\/jsl\/1191333838","volume":"72","author":"J.R. Steel","year":"2007","unstructured":"Steel J.R.: Local K c constructions. J. Symb. Log. 72(3), 721\u2013737 (2007)","journal-title":"J. Symb. Log."},{"key":"465_CR14","unstructured":"Steel, J.R.: Iterations with long extenders. Notes taken by Oliver Deiser (2002). http:\/\/math.berkeley.edu\/~steel\/papers\/longext.kappaplus.ps"},{"key":"465_CR15","doi-asserted-by":"crossref","unstructured":"Steel, J.R.: Derived models associated to mice, Computational prospects of infinity. Part I. Tutorials, Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap., vol. 14, World Sci. Publ., Hackensack, NJ, pp. 105\u2013193 (2008)","DOI":"10.1142\/9789812794055_0003"},{"key":"465_CR16","unstructured":"Woodin, W.H.: The fine structure of suitable extender models I. In preparation"},{"issue":"1\u20132","key":"465_CR17","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1142\/S021906131000095X","volume":"10","author":"W.H. Woodin","year":"2010","unstructured":"Woodin W.H.: Suitable extender models I. J. Math. Log. 10(1\u20132), 101\u2013339 (2010)","journal-title":"J. Math. Log."},{"issue":"2","key":"465_CR18","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1142\/S021906131100102X","volume":"11","author":"W.H. Woodin","year":"2011","unstructured":"Woodin W.H.: Suitable extender models II: beyond \u03c9-huge. J. Math. Log. 11(2), 115\u2013436 (2011)","journal-title":"J. Math. Log."},{"key":"465_CR19","doi-asserted-by":"crossref","unstructured":"Zeman, M.: Inner models and large cardinals, de Gruyter Series in Logic and its Applications, vol. 5, Walter de Gruyter & Co., Berlin (2002)","DOI":"10.1515\/9783110857818"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0465-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-015-0465-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0465-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T20:42:20Z","timestamp":1567456940000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-015-0465-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,22]]},"references-count":19,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["465"],"URL":"https:\/\/doi.org\/10.1007\/s00153-015-0465-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,22]]}}}