{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T00:11:26Z","timestamp":1706659886439},"reference-count":11,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2017,1,1]]},"DOI":"10.1215\/00294527-2017-0008","type":"journal-article","created":{"date-parts":[[2017,4,21]],"date-time":"2017-04-21T08:00:49Z","timestamp":1492761649000},"source":"Crossref","is-referenced-by-count":1,"title":["A Diamond Principle Consistent with AD"],"prefix":"10.1215","volume":"58","author":[{"given":"Daniel","family":"Cunningham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Devlin, K. J., <i>Constructibility<\/i>, vol. 6 of <i>Perspectives in Mathematical Logic<\/i>, Springer, Berlin, 1984.","DOI":"10.1007\/978-3-662-21723-8"},{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Barwise, J., <i>Admissible Sets and Structures: An Approach to Definability Theory<\/i>, vol. 7 of <i>Perspectives in Mathematical Logic<\/i>, Springer, Berlin, 1975.","DOI":"10.1007\/978-3-662-11035-5_2"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Cunningham, D. W., \u201cA covering lemma for $K(\\mathbb{R})$,\u201d <i>Archive for Mathematical Logic<\/i>, vol. 46 (2007), pp. 197\u2013221.","DOI":"10.1007\/s00153-007-0040-8"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Hauser, K., \u201cGeneric relativizations of fine structure,\u201d <i>Archive for Mathematical Logic<\/i>, vol. 39 (2000), pp. 227\u201351.","DOI":"10.1007\/s001530050145"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Jensen, R. B., \u201cThe fine structure of the constructible hierarchy,\u201d <i>Annals of Mathematical Logic<\/i>, vol. 4 (1972), pp. 229\u2013308.","DOI":"10.1016\/0003-4843(72)90001-0"},{"key":"6","unstructured":"[6] Kanamori, A., <i>The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings<\/i>, <i>Perspectives in Mathematical Logic<\/i>, Springer, Berlin, 1994."},{"key":"7","unstructured":"[7] Kunen, K., <i>Set Theory: An Introduction to Independence Proofs<\/i>, vol. 102 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1980."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Moschovakis, Y. N., <i>Descriptive Set Theory<\/i>, 2nd edition, vol. 155 of <i>Mathematical Surveys and Monographs<\/i>, American Mathematical Society, Providence, 2009.","DOI":"10.1090\/surv\/155"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Schimmerling, E., \u201cCombinatorial principles in the core model for one Woodin cardinal,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 74 (1995), pp. 153\u2013201.","DOI":"10.1016\/0168-0072(94)00036-3"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Steel, J. R., \u201cScales in $\\mathbf{K}(\\mathbb{R})$,\u201d pp. 176\u2013208 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":"11","doi-asserted-by":"crossref","unstructured":"[11] 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 et al., Springer, Dordrecht, 2010.","DOI":"10.1007\/978-1-4020-5764-9_20"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2017-0008","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:49Z","timestamp":1706648329000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-58\/issue-3\/A-Diamond-Principle-Consistent-with-AD\/10.1215\/00294527-2017-0008.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,1]]},"references-count":11,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2017,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2017-0008","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2017,1,1]]}}}