{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T00:20:26Z","timestamp":1706660426342},"reference-count":14,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2021,8,1]]},"DOI":"10.1215\/00294527-2021-0023","type":"journal-article","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T20:36:27Z","timestamp":1633984587000},"source":"Crossref","is-referenced-by-count":0,"title":["Tall Cardinals in Extender Models"],"prefix":"10.1215","volume":"62","author":[{"given":"Gabriel","family":"Fernandes","sequence":"first","affiliation":[{"name":"Department of Mathematics, Bar-Ilan University, Ramat Gan, Israel"}]},{"given":"Ralf","family":"Schindler","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Mathematische Logik und Grundlagenforschung, Universit\u00e4t M\u00fcnster, M\u00fcnster, Germany"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"Gitik, M., and W. J. Mitchell, \u201cIndiscernible sequences for extenders, and the singular cardinal hypothesis,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 82 (1996), pp. 273\u2013316.","DOI":"10.1016\/S0168-0072(96)00007-3"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Gitik, M., R. Schindler, and S. Shelah, \u201cPCF theory and Woodin cardinals,\u201d pp. 172\u2013205 in <i>Logic Colloquium \u201902<\/i>, edited by Z. Chatzidakis, P. Koepke, and W. Pohlers, vol. 27 of <i>Lecture Notes in Logic<\/i>, Association for Symbolic Logic, La Jolla, 2006.","DOI":"10.1017\/9781316755723.009"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Hamkins, J. D., \u201cTall cardinals,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 55 (2009), pp. 68\u201386.","DOI":"10.1002\/malq.200710084"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Jensen, R., and J. Steel, \u201c<i>K<\/i> without the measurable,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 78 (2013), pp. 708\u201334.","DOI":"10.2178\/jsl.7803020"},{"key":"5","unstructured":"Kanamori, A., <i>The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings<\/i>, 2nd edition, paperback reprint of the 2003 edition, <i>Springer Monographs in Mathematics<\/i>, Springer, Berlin, 2009."},{"key":"6","doi-asserted-by":"publisher","unstructured":"Magidor, M., \u201cHow large is the first strongly compact cardinal? or A study on identity crises,\u201d <i>Annals of Mathematical Logic<\/i>, vol. 10 (1976), pp. 33\u201357.","DOI":"10.1016\/0003-4843(76)90024-3"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Martin, D. A., and J. R. Steel, \u201cIteration trees,\u201d <i>Journal of the American Mathematical Society<\/i>, vol. 7 (1994), pp. 1\u201373.","DOI":"10.2307\/2152720"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Schindler, R., \u201cThe core model for almost linear iterations,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 116 (2002), pp. 205\u201372.","DOI":"10.1016\/S0168-0072(01)00113-0"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Schindler, R., \u201cIterates of the core model,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 71 (2006), pp. 241\u201351.","DOI":"10.2178\/jsl\/1140641172"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Schindler, R., and M. Zeman, \u201cFine structure,\u201d pp. 605\u201356 in <i>Handbook of Set Theory, Vols. 1, 2, 3<\/i>, edited by M. Foreman and A. Kanamori, Springer, Dordrecht, 2010.","DOI":"10.1007\/978-1-4020-5764-9_10"},{"key":"11","unstructured":"Schlutzenberg, F., \u201cMeasures in mice,\u201d Ph.D. dissertation, University of California, Berkeley, 2007."},{"key":"12","doi-asserted-by":"publisher","unstructured":"Steel, J. R., \u201cAn outline of inner model theory,\u201d pp. 1595\u2013684 in <i>Handbook of Set Theory, Vols. 1, 2, 3<\/i>, edited by M. Foreman and A. Kanamori, Springer, Dordrecht, 2010.","DOI":"10.1007\/978-1-4020-5764-9_20"},{"key":"13","doi-asserted-by":"crossref","unstructured":"Steel, J. R., and W. H. Woodin, \u201cHOD as a core model,\u201d pp. 257\u2013346 in <i>Ordinal Definability and Recursion Theory: The Cabal Seminar, Vol. 3<\/i>, edited by A. S. Kechris, B. L\u00f6we, and J. R. Steel, vol. 43 of <i>Lecture Notes in Logic<\/i>, 2016.","DOI":"10.1017\/CBO9781139519694.010"},{"key":"14","doi-asserted-by":"publisher","unstructured":"Zeman, M., <i>Inner Models and Large Cardinals<\/i>, vol. 5 of <i>De Gruyter Series in Logic and its Applications<\/i>, de Gruyter, Berlin, 2002.","DOI":"10.1515\/9783110857818"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2021-0023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:00:31Z","timestamp":1706648431000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-62\/issue-3\/Tall-Cardinals-in-Extender-Models\/10.1215\/00294527-2021-0023.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,1]]},"references-count":14,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2021,8,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2021-0023","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2021,8,1]]}}}