{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T04:24:23Z","timestamp":1745555063172,"version":"3.40.4"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100000893","name":"Simons Foundation","doi-asserted-by":"publisher","award":["580600"],"award-info":[{"award-number":["580600"]}],"id":[{"id":"10.13039\/100000893","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2025,5]]},"DOI":"10.1007\/s00153-024-00951-4","type":"journal-article","created":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T19:56:27Z","timestamp":1732650987000},"page":"515-528","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the consistency strength of critical leaps"],"prefix":"10.1007","volume":"64","author":[{"given":"Gunter","family":"Fuchs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,26]]},"reference":[{"issue":"5","key":"951_CR1","doi-asserted-by":"publisher","first-page":"102904","DOI":"10.1016\/j.apal.2020.102904","volume":"172","author":"Ari Meir Brodsky and Assaf Rinot","year":"2021","unstructured":"Ari Meir Brodsky and Assaf Rinot: A microscopic approach to Souslin-tree construction, Part II. Ann. Pure Appl. Logic 172(5), 102904 (2021)","journal-title":"Ann. Pure Appl. Logic"},{"key":"951_CR2","doi-asserted-by":"publisher","first-page":"e19","DOI":"10.1017\/fms.2023.15","volume":"11","author":"O Ben-Neria","year":"2023","unstructured":"Ben-Neria, O., Hayut, Y.: On $$\\omega $$-strongly measurable cardinals. Forum Math., Sigma 11, e19 (2023)","journal-title":"Forum Math., Sigma"},{"issue":"02","key":"951_CR3","doi-asserted-by":"publisher","first-page":"1750007","DOI":"10.1142\/S0219061317500076","volume":"17","author":"O Ben-Neria","year":"2017","unstructured":"Ben-Neria, O., Unger, S.: Homogeneous changes in cofinalities with applications to HOD. J. Math. Log. 17(02), 1750007 (2017)","journal-title":"J. Math. Log."},{"key":"951_CR4","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.apal.2009.06.001","volume":"161","author":"S Cox","year":"2009","unstructured":"Cox, S.: Covering theorems for the core model, and an application to stationary set reflection. Ann. Pure Appl. Logic 161, 66\u201393 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"951_CR5","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1007\/s11856-018-1712-2","volume":"226","author":"J Cummings","year":"2018","unstructured":"Cummings, J., Friedman, S.D., Magidor, M., Rinot, A., Sinapova, D.: Ordinal definable subsets of singular cardinals. Israel J. Math. 226(2), 781\u2013804 (2018)","journal-title":"Israel J. Math."},{"key":"951_CR6","doi-asserted-by":"crossref","unstructured":"Fuchs, G.: More on blurry HOD. Journal of Symbolic Logic, pp. 1\u201332, published online (2023)","DOI":"10.1017\/jsl.2023.91"},{"key":"951_CR7","unstructured":"Fuchs, G.: The strong Prikry property (2017). arXiv:1707.06705 [math.LO]"},{"issue":"8","key":"951_CR8","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1007\/s00153-005-0313-z","volume":"44","author":"G Fuchs","year":"2005","unstructured":"Fuchs, G.: A characterization of generalized P\u0159\u00edkr\u00fd sequences. Arch. Math. Logic 44(8), 935\u2013971 (2005)","journal-title":"Arch. Math. Logic"},{"issue":"3","key":"951_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3390\/math10030452","volume":"10","author":"G Fuchs","year":"2022","unstructured":"Fuchs, G.: Blurry definability. Mathematics 10(3), 1\u201334 (2022)","journal-title":"Mathematics"},{"issue":"4","key":"951_CR10","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., Hamkins, J.D., Reitz, J.: Set-theoretic geology. Ann. Pure Appl. Logic 166(4), 464\u2013501 (2015)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"4","key":"951_CR11","doi-asserted-by":"publisher","first-page":"2250010","DOI":"10.1142\/S0219061322500106","volume":"24","author":"G Goldberg","year":"2024","unstructured":"Goldberg, G.: Strongly compact cardinals and ordinal definability. J. Math. Logic 24(4), 2250010 (2024)","journal-title":"J. Math. Logic"},{"key":"951_CR12","first-page":"122","volume-title":"Mathematical Logic and Foundations of Set Theory, volume 59 of Studies in Logic and the Foundations of Mathematics","author":"R Jensen","year":"1970","unstructured":"Jensen, R.: Definable sets of minimal degree. In: Yehoshua, B.-H. (ed.) Mathematical Logic and Foundations of Set Theory, volume 59 of Studies in Logic and the Foundations of Mathematics, pp. 122\u2013128. Elsevier, Amsterdam (1970)"},{"issue":"3","key":"951_CR13","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1134\/S0001434617090048","volume":"102","author":"VG Kanovei","year":"2017","unstructured":"Kanovei, V.G., Lyubetsky, V.A.: A countable definable set containing no definable elements. Math. Notes 102(3), 338\u2013349 (2017)","journal-title":"Math. Notes"},{"key":"951_CR14","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s001530050057","volume":"36","author":"S Shelah","year":"1997","unstructured":"Shelah, S.: Set theory without choice: not everything on cofinality is possible. Arch. Math. Logic 36, 81\u2013125 (1997)","journal-title":"Arch. Math. Logic"},{"issue":"2","key":"951_CR15","first-page":"185","volume":"63","author":"A Tzouvaras","year":"2022","unstructured":"Tzouvaras, A.: Typicality \u00e0 la Russell in set theory. Notre Dame J. Form. Logic 63(2), 185\u2013196 (2022)","journal-title":"Notre Dame J. Form. Logic"},{"key":"951_CR16","doi-asserted-by":"crossref","unstructured":"Woodin, W. H., Davis, J., Rodr\u00edguez, D.: The HOD dichotomy. In James Cummings and Ernest Schimmerling, editors, Appalachian Set Theory: 2006-2012, volume 406 of London Mathematical Society Lecture Note Series, chapter\u00a013, pages 397\u2013419. Cambridge University Press, Cambridge (2012)","DOI":"10.1017\/CBO9781139208574.014"},{"issue":"1","key":"951_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/bsl.2016.34","volume":"23","author":"H Woodin","year":"2017","unstructured":"Woodin, H.: In search of Ultimate-$$L$$: the 19th Midrasha Mathematicae Lectures. Bull. Symb. Log. 23(1), 1\u2013109 (2017)","journal-title":"Bull. Symb. Log."},{"key":"951_CR18","doi-asserted-by":"publisher","DOI":"10.1515\/9783110857818","volume-title":"Inner models and large cardinals","author":"M Zeman","year":"2002","unstructured":"Zeman, M.: Inner models and large cardinals. De Gruyter, Berlin (2002)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00951-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-024-00951-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00951-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T02:58:22Z","timestamp":1745549902000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-024-00951-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,26]]},"references-count":18,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2025,5]]}},"alternative-id":["951"],"URL":"https:\/\/doi.org\/10.1007\/s00153-024-00951-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2024,11,26]]},"assertion":[{"value":"8 April 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 October 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 November 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}