{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T00:17:30Z","timestamp":1706660250257},"reference-count":8,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2018,1,1]]},"DOI":"10.1215\/00294527-2018-0012","type":"journal-article","created":{"date-parts":[[2018,10,12]],"date-time":"2018-10-12T02:01:22Z","timestamp":1539309682000},"source":"Crossref","is-referenced-by-count":0,"title":["A Long Pseudo-Comparison of Premice in L[x]"],"prefix":"10.1215","volume":"59","author":[{"given":"Farmer","family":"Schlutzenberg","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"[1] Farah, I., \u201cThe extender algebra and $\\Sigma^{2}_{1}$-absoluteness,\u201d to appear in <i>Cabal Seminar<\/i>, preprint, <a href=\"arXiv:1005.4193v3\">arXiv:1005.4193v3<\/a> [math.LO]."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Koellner, P., and W. H. Woodin, \u201cLarge cardinals from determinacy,\u201d pp. 1951\u20132119 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_24"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Mitchell, W. J., and J. R. Steel, <i>Fine Structure and Iteration Trees<\/i>, vol. 3 of <i>Lecture Notes in Logic<\/i>, Springer, Berlin, 1994.","DOI":"10.1007\/978-3-662-21903-4"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Sargsyan, G., <i>Hod Mice and the Mouse Set Conjecture<\/i>, vol. 236 of <i>Memoirs of the American Mathematical Society<\/i>, American Mathematical Society, Providence, 2015.","DOI":"10.1090\/memo\/1111"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Steel, J. R., \u201c${\\mathrm{HOD}}^{L({\\mathbf{R}})}$ is a core model below $\\Theta$,\u201d <i>Bulletin of Symbolic Logic<\/i>, vol. 1 (1995), pp. 75\u201384.","DOI":"10.2307\/420947"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Steel, J. R., \u201cDerived models associated to mice,\u201d pp. 105\u201393 in <i>Computational Prospects of Infinity, Part I: Tutorials<\/i>, edited by C. Chong, Q. Feng, and T. A. Slaman, vol. 14 of <i>Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore<\/i>, World Scientific, Hackensack, N.J., 2008.","DOI":"10.1142\/9789812794055_0003"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Steel, J. R., \u201cAn outline of inner model theory,\u201d pp. 1595\u20131684 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":"8","doi-asserted-by":"crossref","unstructured":"[8] 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. III<\/i>, edited by A. S. Kechris, B. Lowe, and J. R. Steel, vol. 43 of <i>Lecture Notes in Logic<\/i>, Cambridge University Press, Cambridge, 2016.","DOI":"10.1017\/CBO9781139519694.010"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2018-0012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:59:33Z","timestamp":1706648373000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-59\/issue-4\/A-Long-Pseudo-Comparison-of-Premice-in-Lx\/10.1215\/00294527-2018-0012.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,1]]},"references-count":8,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2018,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2018-0012","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2018,1,1]]}}}