{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T06:34:42Z","timestamp":1780382082499,"version":"3.54.1"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T00:00:00Z","timestamp":1555718400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"FWF","award":["P 28420 (The Hyperuniverse Programme)"],"award-info":[{"award-number":["P 28420 (The Hyperuniverse Programme)"]}]},{"DOI":"10.13039\/100004870","name":"Research Foundation of The City University of New York","doi-asserted-by":"publisher","award":["PSC-CUNY grant 60630-00 48"],"award-info":[{"award-number":["PSC-CUNY grant 60630-00 48"]}],"id":[{"id":"10.13039\/100004870","id-type":"DOI","asserted-by":"publisher"}]},{"name":"DFG, German Research Foundation","award":["DFG grant SCHI 484\/8-1, (Die Geologie Innerer Modelle)"],"award-info":[{"award-number":["DFG grant SCHI 484\/8-1, (Die Geologie Innerer Modelle)"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s11225-019-09860-7","type":"journal-article","created":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T04:08:35Z","timestamp":1555733315000},"page":"573-595","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Inner-Model Reflection Principles"],"prefix":"10.1007","volume":"108","author":[{"given":"Neil","family":"Barton","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andr\u00e9s Eduardo","family":"Caicedo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gunter","family":"Fuchs","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joel David","family":"Hamkins","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonas","family":"Reitz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ralf","family":"Schindler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,4,20]]},"reference":[{"key":"9860_CR1","unstructured":"Antos, C., N. Barton, and S.-D. Friedman, Universism and extensions of $$V$$. \narXiv:1708.05751\n\n."},{"key":"9860_CR2","unstructured":"Barton, N., What is the consistency strength of \u201cwidth reflection\u201d? Mathematics Stack Exchange question, 2016. \nhttps:\/\/math.stackexchange.com\/q\/1912624\n\n (version: 2016-09-03)."},{"issue":"2\u20133","key":"9860_CR3","doi-asserted-by":"publisher","first-page":"393","DOI":"10.4310\/MRL.2006.v13.n3.a5","volume":"13","author":"AE Caicedo","year":"2006","unstructured":"Caicedo, A. E., and B. Veli\u010dkovi\u0107, The bounded proper forcing axiom and well orderings of the reals, Math. Res. Lett. 13(2-3):393\u2013408, 2006.","journal-title":"Math. Res. Lett."},{"issue":"4","key":"9860_CR4","doi-asserted-by":"publisher","first-page":"591","DOI":"10.2178\/bsl\/1164056808","volume":"12","author":"S-D Friedman","year":"2006","unstructured":"Friedman, S.-D., Internal consistency and the inner model hypothesis. Bull. Symbolic Logic 12(4):591\u2013600, 2006.","journal-title":"Bull. Symbolic Logic"},{"issue":"4","key":"9860_CR5","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1016\/j.apal.2014.11.004","volume":"166","author":"G Fuchs","year":"2015","unstructured":"Fuchs, G., J. D. Hamkins, and J. Reitz, Set-theoretic geology, Annals of Pure and Applied Logic 166(4):464\u2013501, 2015.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"9860_CR6","doi-asserted-by":"publisher","first-page":"972","DOI":"10.1017\/jsl.2015.64","volume":"81","author":"G Fuchs","year":"2016","unstructured":"Fuchs, G., and R. Schindler, Inner model theoretic geology. Journal of Symbolic Logic 81(3):972\u2013996, 2016.","journal-title":"Journal of Symbolic Logic"},{"key":"9860_CR7","unstructured":"Gitman, V., J. D. Hamkins, P. Holy, P. Schlicht, and K. Williams, The exact strength of the class forcing theorem. \narXiv:1707.03700\n\n."},{"issue":"2\u20133","key":"9860_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/S0168-0072(99)00010-X","volume":"101","author":"JD Hamkins","year":"2000","unstructured":"Hamkins, J. D., The lottery preparation. Ann. Pure Appl. Logic 101(2-3):103\u2013146, 2000.","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"9860_CR9","doi-asserted-by":"publisher","first-page":"527","DOI":"10.2178\/jsl\/1052669062","volume":"68","author":"JD Hamkins","year":"2003","unstructured":"Hamkins, J. D., A simple maximality principle. J. Symbolic Logic 68(2):527\u2013550, 2003.","journal-title":"J. Symbolic Logic"},{"key":"9860_CR10","first-page":"3160","volume":"55","author":"JD Hamkins","year":"2005","unstructured":"Hamkins, J. D., The Ground Axiom. Mathematisches Forschungsinstitut Oberwolfach Report 55:3160\u20133162, 2005.","journal-title":"Mathematisches Forschungsinstitut Oberwolfach Report"},{"key":"9860_CR11","unstructured":"Hamkins, J. D., Forcing and large cardinals. Book manuscript in preparation."},{"key":"9860_CR12","first-page":"139","volume":"7750","author":"JD Hamkins","year":"2013","unstructured":"Hamkins, J. D., and B. L\u00f6we, Moving up and down in the generic multiverse. Logic and its Applications, ICLA 2013 LNCS 7750:139\u2013147, 2013.","journal-title":"Logic and its Applications, ICLA 2013 LNCS"},{"key":"9860_CR13","unstructured":"Hamkins, J. D., and J. Reitz, The set-theoretic universe $$V$$ is not necessarily a class-forcing extension of HOD. \narXiv:1709.06062"},{"issue":"8","key":"9860_CR14","doi-asserted-by":"publisher","first-page":"2943","DOI":"10.1090\/S0002-9939-08-09285-X","volume":"136","author":"JD Hamkins","year":"2008","unstructured":"Hamkins, J. D., J. Reitz, and W. H. Woodin, The ground axiom is consistent with $$V\\ne {\\rm HOD}$$. Proc. Amer. Math. Soc. 136(8):2943\u20132949, 2008.","journal-title":"Proc. Amer. Math. Soc"},{"key":"9860_CR15","unstructured":"Jech, T., Set Theory. Springer Monographs in Mathematics, 3rd edition, 2003."},{"issue":"3","key":"9860_CR16","doi-asserted-by":"publisher","first-page":"708","DOI":"10.2178\/jsl.7803020","volume":"78","author":"R Jensen","year":"2013","unstructured":"Jensen R., and J. Steel, $$K$$ without the measurable. J. Symbolic Logic 78(3):708\u2013734, 2013.","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"9860_CR17","doi-asserted-by":"publisher","first-page":"247","DOI":"10.2307\/2586534","volume":"65","author":"P Larson","year":"2000","unstructured":"Larson, P., Separating stationary reflection principles. J. Symbolic Logic 65(1):247\u2013258, 2000.","journal-title":"J. Symbolic Logic"},{"key":"9860_CR18","doi-asserted-by":"crossref","unstructured":"Mitchell, W. J., Inner models for large cardinals. In Sets and extensions in the twentieth century, vol. 6 of Handb. Hist. Log., Elsevier\/North-Holland, Amsterdam, 2012, pp. 415\u2013456.","DOI":"10.1016\/B978-0-444-51621-3.50005-0"},{"key":"9860_CR19","unstructured":"Reitz, J., The Ground Axiom. PhD thesis, The Graduate Center of the City University of New York, September 2006."},{"issue":"4","key":"9860_CR20","doi-asserted-by":"publisher","first-page":"1299","DOI":"10.2178\/jsl\/1203350787","volume":"72","author":"J Reitz","year":"2007","unstructured":"Reitz, J., The ground axiom. J. Symbolic Logic 72(4):1299\u20131317, 2007.","journal-title":"J. Symbolic Logic"},{"issue":"2","key":"9860_CR21","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1017\/jsl.2018.5","volume":"83","author":"G Sargsyan","year":"2018","unstructured":"Sargsyan, G., and R. Schindler, Varsovian models I. J. Symb. Log. 83(2):496\u2013528, 2018.","journal-title":"J. Symb. Log."},{"issue":"3","key":"9860_CR22","doi-asserted-by":"publisher","first-page":"751","DOI":"10.2178\/jsl\/1245158084","volume":"74","author":"R Schindler","year":"2009","unstructured":"Schindler, R., and J. Steel, The self-iterability of $$L[E]$$. Journal of Symbolic Logic 74(3):751\u2013779, 2009.","journal-title":"Journal of Symbolic Logic"},{"key":"9860_CR23","unstructured":"Schlutzenberg, F., The definability of $$\\mathbb{E}$$ in self-iterable mice. \narXiv:1412.0085\n\n."},{"key":"9860_CR24","doi-asserted-by":"crossref","unstructured":"Stavi, J., and J. V\u00e4\u00e4n\u00e4nen, Reflection principles for the continuum. In Logic and algebra, vol. 302 of Contemp. Math., Amer. Math. Soc., Providence, RI, 2002, pp. 59\u201384.","DOI":"10.1090\/conm\/302\/05082"},{"key":"9860_CR25","doi-asserted-by":"crossref","unstructured":"Usuba, T., The downward directed grounds hypothesis and very large cardinals. J. Math. Log. 17(2), 1750009, 24 pp., 2017.","DOI":"10.1142\/S021906131750009X"},{"issue":"3","key":"9860_CR26","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.2307\/2695094","volume":"66","author":"J Vickers","year":"2001","unstructured":"Vickers, J., and P. D. Welch, On elementary embeddings from an inner model to the universe. J. Symbolic Logic 66(3):1090\u20131116, 2001.","journal-title":"J. Symbolic Logic"},{"issue":"4","key":"9860_CR27","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/s00153-003-0199-6","volume":"43","author":"PD Welch","year":"2004","unstructured":"Welch, P. D., On unfoldable cardinals, $$\\omega $$-closed cardinals, and the beginning of the inner model hierarchy. Arch. Math. Logic 43(4):443\u2013458, 2004.","journal-title":"Arch. Math. Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09860-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-019-09860-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09860-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,6]],"date-time":"2020-05-06T12:07:28Z","timestamp":1588766848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-019-09860-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,20]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["9860"],"URL":"https:\/\/doi.org\/10.1007\/s11225-019-09860-7","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4,20]]},"assertion":[{"value":"16 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 April 2019","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}