{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:30Z","timestamp":1706649030897},"reference-count":12,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2010,10,1]]},"DOI":"10.1215\/00294527-2010-027","type":"journal-article","created":{"date-parts":[[2010,9,29]],"date-time":"2010-09-29T13:10:23Z","timestamp":1285765823000},"source":"Crossref","is-referenced-by-count":0,"title":["A Covering Lemma for HOD of K(\u211d)"],"prefix":"10.1215","volume":"51","author":[{"given":"Daniel W.","family":"Cunningham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Barwise, J., <i>Admissible Sets and Structures<\/i>, Springer-Verlag, Berlin, 1975.","DOI":"10.1007\/978-3-662-11035-5"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Cunningham, D. W., \"The real core model and its scales\", <i>Annals of Pure and Applied Logic<\/i>, vol. 72 (1995), pp. 213--89.","DOI":"10.1016\/0168-0072(94)00023-V"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Cunningham, D. W., ``Is there a set of reals not in $K(\\R)$?'' <i>Annals of Pure and Applied Logic<\/i>, vol. 92 (1998), pp. 161--210.","DOI":"10.1016\/S0168-0072(98)00003-7"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Cunningham, D. W., \"A covering lemma for $L({\\R})$\", <i>Archive for Mathematical Logic<\/i>, vol. 41 (2002), pp. 49--54.","DOI":"10.1007\/s001530200003"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Cunningham, D. W., \"A covering lemma for $K(\\R)$\", <i>Archive for Mathematical Logic<\/i>, vol. 46 (2007), pp. 197--221.","DOI":"10.1007\/s00153-007-0040-8"},{"key":"6","unstructured":"[6] Jech, T., <i>Set Theory<\/i>, 3d millennium edition, Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003."},{"key":"7","unstructured":"[7] Kanamori, A., <i>The Higher Infinite<\/i>, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1994."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Kechris, A. S., \"Determinacy and the structure of $L({\\R})$\", pp. 271--83 in <i>Recursion Theory<\/i>, vol. 42 of <i>Proceedings of Symposia in Pure Mathematics<\/i>, American Mathematical Society, Providence, 1985.","DOI":"10.1090\/pspum\/042\/791063"},{"key":"9","unstructured":"[9] Kunen, K., <i>Set Theory<\/i>, vol. 102 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1980."},{"key":"10","unstructured":"[10] Moschovakis, Y. N., <i>Descriptive Set Theory<\/i>, vol. 100 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1980."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Steel, J. R., \"Scales in $\\mathbf{K}(\\mathbb{R})$\", pp. 176--208 in <i>Games, Scales, and Suslin Cardinals. The Cabal Seminar. Vol. I<\/i>, vol. 31 of <i>Lecture Notes in Logic<\/i>, Association for Symbolic Logic, Chicago, 2008.","DOI":"10.1017\/CBO9780511546488.011"},{"key":"12","unstructured":"[12] Woodin, H., handwritten notes."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2010-027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:33Z","timestamp":1706648253000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-51\/issue-4\/A-Covering-Lemma-for-HOD-of-K%e2%84%9d\/10.1215\/00294527-2010-027.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,1]]},"references-count":12,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2010,10,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2010-027","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2010,10,1]]}}}