{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:03Z","timestamp":1740108183542,"version":"3.37.3"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2020,2,4]],"date-time":"2020-02-04T00:00:00Z","timestamp":1580774400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,4]],"date-time":"2020-02-04T00:00:00Z","timestamp":1580774400000},"content-version":"vor","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":[[2020,8]]},"DOI":"10.1007\/s00153-020-00715-w","type":"journal-article","created":{"date-parts":[[2020,2,4]],"date-time":"2020-02-04T06:03:13Z","timestamp":1580796193000},"page":"755-775","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A diamond-plus principle consistent with AD"],"prefix":"10.1007","volume":"59","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5900-5223","authenticated-orcid":false,"given":"Daniel W.","family":"Cunningham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,2,4]]},"reference":[{"issue":"3","key":"715_CR1","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1215\/00294527-2017-0008","volume":"58","author":"D Cunningham","year":"2017","unstructured":"Cunningham, D.: A diamond principle consistent with AD. Notre Dame J. Form. Log. 58(3), 397\u2013407 (2017). https:\/\/doi.org\/10.1215\/00294527-2017-0008","journal-title":"Notre Dame J. Form. Log."},{"issue":"3\u20134","key":"715_CR2","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/s00153-007-0040-8","volume":"46","author":"DW Cunningham","year":"2007","unstructured":"Cunningham, D.W.: A covering lemma for $$K({\\mathbb{R}})$$. Arch. Math. Log. 46(3\u20134), 197\u2013221 (2007)","journal-title":"Arch. Math. Log."},{"issue":"4","key":"715_CR3","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s001530050145","volume":"39","author":"K Hauser","year":"2000","unstructured":"Hauser, K.: Generic relativizations of fine structure. Arch. Math. Log. 39(4), 227\u2013251 (2000)","journal-title":"Arch. Math. Log."},{"issue":"3","key":"715_CR4","doi-asserted-by":"publisher","first-page":"708","DOI":"10.2178\/jsl.7803020","volume":"78","author":"R Jensen","year":"2013","unstructured":"Jensen, R., Steel, J.: $$\\mathbf{K}$$ without the measurable. J. Symb. Log. 78(3), 708\u2013734 (2013)","journal-title":"J. Symb. Log."},{"key":"715_CR5","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0003-4843(72)90001-0","volume":"4","author":"RB Jensen","year":"1972","unstructured":"Jensen, R.B.: The fine structure of the constructible hierarchy. Ann. Math. Log. 4, 229\u2013308 (1972)","journal-title":"Ann. Math. Log."},{"key":"715_CR6","series-title":"Perspectives in Mathematical Logic","volume-title":"The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings","author":"A Kanamori","year":"1994","unstructured":"Kanamori, A.: The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings. Perspectives in Mathematical Logic. Springer, Berlin (1994)"},{"key":"715_CR7","series-title":"Studies in Logic (London)","volume-title":"Set Theory","author":"K Kunen","year":"2011","unstructured":"Kunen, K.: Set Theory. Studies in Logic (London), vol. 34. College Publications, London (2011)"},{"key":"715_CR8","series-title":"Mathematical Surveys and Monographs","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/155","volume-title":"Descriptive Set Theory","author":"YN Moschovakis","year":"2009","unstructured":"Moschovakis, Y.N.: Descriptive Set Theory. Mathematical Surveys and Monographs, vol. 155, 2nd edn. American Mathematical Society, Providence (2009)","edition":"2"},{"issue":"2","key":"715_CR9","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/0168-0072(94)00036-3","volume":"74","author":"E Schimmerling","year":"1995","unstructured":"Schimmerling, E.: Combinatorial principles in the core model for one Woodin cardinal. Ann. Pure Appl. Log. 74(2), 153\u2013201 (1995)","journal-title":"Ann. Pure Appl. Log."},{"key":"715_CR10","doi-asserted-by":"publisher","first-page":"1685","DOI":"10.1007\/978-1-4020-5764-9_21","volume-title":"Handbook of Set Theory","author":"E Schimmerling","year":"2010","unstructured":"Schimmerling, E.: A core model toolbox and guide. In: Foreman, M., Kanamori, A. (eds.) Handbook of Set Theory, vol. 1, 2, 3, pp. 1685\u20131751. Springer, Dordrecht (2010)"},{"key":"715_CR11","series-title":"Lecture Notes in Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22485-4","volume-title":"The Core Model Iterability Problem","author":"JR Steel","year":"1996","unstructured":"Steel, J.R.: The Core Model Iterability Problem. Lecture Notes in Logic, vol. 8. Springer, Berlin (1996)"},{"key":"715_CR12","series-title":"Lecture Notes in Logic","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1017\/CBO9780511546488.011","volume-title":"Games, Scales, and Suslin Cardinals. The Cabal Seminar. Vol. I","author":"JR Steel","year":"2008","unstructured":"Steel, J.R.: Scales in $${\\mathbf{K}({\\mathbb{R}}})$$. In: Kechris, A.S., Lwe, B., Steel, J.R. (eds.) Games, Scales, and Suslin Cardinals. The Cabal Seminar. Vol. I. Lecture Notes in Logic, vol. 31, pp. 176\u2013208. Association for Symbolic Logic, Chicago (2008)"},{"key":"715_CR13","doi-asserted-by":"publisher","first-page":"1595","DOI":"10.1007\/978-1-4020-5764-9_20","volume-title":"Handbook of Set Theory","author":"JR Steel","year":"2010","unstructured":"Steel, J.R.: An outline of inner model theory. In: Foreman, M., Kanamori, A. (eds.) Handbook of Set Theory, vol. 1, 2, 3, pp. 1595\u20131684. Springer, Dordrecht (2010)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00715-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-020-00715-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00715-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,3]],"date-time":"2021-02-03T00:41:26Z","timestamp":1612312886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-020-00715-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,4]]},"references-count":13,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["715"],"URL":"https:\/\/doi.org\/10.1007\/s00153-020-00715-w","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2020,2,4]]},"assertion":[{"value":"1 June 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 January 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 February 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}