{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:22:57Z","timestamp":1740108177746,"version":"3.37.3"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2016,12,10]],"date-time":"2016-12-10T00:00:00Z","timestamp":1481328000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,12,10]],"date-time":"2016-12-10T00:00:00Z","timestamp":1481328000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["11171031"],"award-info":[{"award-number":["11171031"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["2014KJJCB20"],"award-info":[{"award-number":["2014KJJCB20"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1565808"],"award-info":[{"award-number":["1565808"]}],"id":[{"id":"10.13039\/100000001","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":[[2017,2]]},"DOI":"10.1007\/s00153-016-0518-3","type":"journal-article","created":{"date-parts":[[2016,12,10]],"date-time":"2016-12-10T13:34:52Z","timestamp":1481376892000},"page":"131-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["$$I_0$$ and combinatorics at $$\\lambda ^+$$"],"prefix":"10.1007","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3240-6043","authenticated-orcid":false,"given":"Xianghui","family":"Shi","sequence":"first","affiliation":[]},{"given":"Nam","family":"Trang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,10]]},"reference":[{"issue":"4","key":"518_CR1","doi-asserted-by":"publisher","first-page":"1029","DOI":"10.2307\/2273914","volume":"51","author":"S Ben-David","year":"1986","unstructured":"Ben-David, S., Magidor, M.: The weak $$\\square ^{\\ast } $$ is really weaker than the full $$\\square $$. J. Symb. Logic 51(4), 1029\u20131033 (1986). doi: 10.2307\/2273914","journal-title":"J. Symb. Logic"},{"key":"518_CR2","unstructured":"Cramer, S.S.: Inverse Limit Reflection and the Structure of $${L}({V}_{\\lambda +1})$$ (2014). http:\/\/www.math.rutgers.edu\/~ssc127\/papers\/i0reflection (submitted)"},{"key":"518_CR3","unstructured":"Cramer, S.S.: Generic Absoluteness from Tree Representations in $${L}({V}_{\\lambda +1})$$ Cardinals (2015). http:\/\/www.math.rutgers.edu\/~ssc127\/papers\/genabs (submitted)"},{"key":"518_CR4","doi-asserted-by":"publisher","unstructured":"Cramer, S.S.: Inverse limit reflection and the structure of $$L(V_{\\lambda +1})$$. J. Math. Log. 15(1), 1550001 (2015). doi: 10.1142\/S0219061315500014","DOI":"10.1142\/S0219061315500014"},{"issue":"3","key":"518_CR5","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1305\/ndjfl\/1125409326","volume":"46","author":"J Cummings","year":"2005","unstructured":"Cummings, J.: Notes on singular cardinal combinatorics. Notre Dame J. Form. Logic 46(3), 251\u2013282 (2005). doi: 10.1305\/ndjfl\/1125409326 . (electronic)","journal-title":"Notre Dame J. Form. Logic"},{"key":"518_CR6","doi-asserted-by":"publisher","unstructured":"Cummings, J.: Iterated forcing and elementary embeddings. In: Handbook of Set Theory, vols. 1, 2, 3, pp. 775\u2013883. Springer, Dordrecht (2010). doi: 10.1007\/978-1-4020-5764-9_13","DOI":"10.1007\/978-1-4020-5764-9_13"},{"issue":"1","key":"518_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1142\/S021906130100003X","volume":"1","author":"J Cummings","year":"2001","unstructured":"Cummings, J., Foreman, M., Magidor, M.: Squares, scales and stationary reflection. J. Math. Log. 1(1), 35\u201398 (2001). doi: 10.1142\/S021906130100003X","journal-title":"J. Math. Log."},{"key":"518_CR8","volume-title":"Constructibility. Perspectives in Mathematical Logic","author":"KJ Devlin","year":"1984","unstructured":"Devlin, K.J.: Constructibility. Perspectives in Mathematical Logic. Springer, Berlin (1984)"},{"issue":"3\u20134","key":"518_CR9","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s00153-014-0369-8","volume":"53","author":"V Dimonte","year":"2014","unstructured":"Dimonte, V., Friedman, S.D.: Rank-into-rank hypotheses and the failure of GCH. Arch. Math. Logic 53(3\u20134), 351\u2013366 (2014). doi: 10.1007\/s00153-014-0369-8","journal-title":"Arch. Math. Logic"},{"issue":"2","key":"518_CR10","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/s40879-015-0092-y","volume":"2","author":"V Dimonte","year":"2016","unstructured":"Dimonte, V., Wu, L.: A general tool for consistency results related to I1. Eur. J. Math. 2(2), 474\u2013492 (2016). doi: 10.1007\/s40879-015-0092-y","journal-title":"Eur. J. Math."},{"key":"518_CR11","doi-asserted-by":"publisher","unstructured":"Gitik, M.: Prikry-type forcings. In: Handbook of Set Theory, vols. 1, 2, 3, pp. 1351\u20131447. Springer, Dordrecht (2010). doi: 10.1007\/978-1-4020-5764-9_17","DOI":"10.1007\/978-1-4020-5764-9_17"},{"key":"518_CR12","doi-asserted-by":"crossref","unstructured":"Gitik, M., Magidor, M.: The singular cardinal hypothesis revisited. In: Set Theory of the Continuum (Berkeley, CA, 1989), Mathematical Sciences Research Institute Publications, vol. 26, pp. 243\u2013279. Springer, New York (1992)","DOI":"10.1007\/978-1-4613-9754-0_16"},{"key":"518_CR13","unstructured":"Jensen, R.B.: The fine structure of the constructible hierarchy. Ann. Math. Logic 4, 229\u2013308; erratum, ibid. 4 (1972), 443 (1972). http:\/\/www.math.cmu.edu\/~laiken\/papers\/FineStructure . With a section by Jack Silver"},{"key":"518_CR14","unstructured":"Kanamori, A.: The Higher Infinite, 2nd edn. Springer Monographs in Mathematics. Springer, Berlin (2003). Large cardinals in set theory from their beginnings"},{"key":"518_CR15","doi-asserted-by":"publisher","first-page":"650","DOI":"10.2307\/2272467","volume":"36","author":"K Kunen","year":"1971","unstructured":"Kunen, K., Prikry, K.: On descendingly incomplete ultrafilters. J. Symb. Logic 36, 650\u2013652 (1971)","journal-title":"J. Symb. Logic"},{"issue":"1\u20133","key":"518_CR16","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/S0168-0072(00)00035-X","volume":"107","author":"R Laver","year":"2001","unstructured":"Laver, R.: Reflection of elementary embedding axioms on the $$L[V_{\\lambda +1}]$$ hierarchy. Ann. Pure Appl. Logic 107(1\u20133), 227\u2013238 (2001). doi: 10.1016\/S0168-0072(00)00035-X","journal-title":"Ann. Pure Appl. Logic"},{"issue":"5\u20136","key":"518_CR17","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s001530050052","volume":"35","author":"M Magidor","year":"1996","unstructured":"Magidor, M., Shelah, S.: The tree property at successors of singular cardinals. Arch. Math. Logic 35(5\u20136), 385\u2013404 (1996). doi: 10.1007\/s001530050052","journal-title":"Arch. Math. Logic"},{"key":"518_CR18","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s11856-007-0063-1","volume":"160","author":"C Merimovich","year":"2007","unstructured":"Merimovich, C.: Prikry on extenders, revisited. Isr. J. Math. 160, 253\u2013280 (2007). doi: 10.1007\/s11856-007-0063-1","journal-title":"Isr. J. Math."},{"key":"518_CR19","doi-asserted-by":"crossref","unstructured":"Shelah, S.: On successors of singular cardinals. In: Logic Colloquium \u201978 (Mons, 1978), Studies in Logic and the Foundations of Mathematics, vol.\u00a097, pp. 357\u2013380. North-Holland, Amsterdam (1979)","DOI":"10.1016\/S0049-237X(08)71635-5"},{"key":"518_CR20","doi-asserted-by":"crossref","unstructured":"Shelah, S.: Cardinal Arithmetic, Oxford Logic Guides, vol.\u00a029. The Clarendon Press\/Oxford University Press, New York (1994). Oxford Science Publications","DOI":"10.1093\/oso\/9780198537854.001.0001"},{"key":"518_CR21","doi-asserted-by":"publisher","unstructured":"Shi, X.: Axiom $${I}_0$$ and higher degree theory. J. Symb. Logic 80(3), 970\u20131021 (2015). doi: 10.1017\/jsl.2015.15 . http:\/\/journals.cambridge.org\/abstract_S0022481215000158","DOI":"10.1017\/jsl.2015.15"},{"key":"518_CR22","doi-asserted-by":"crossref","unstructured":"Solovay, R.M.: Strongly compact cardinals and the GCH. In: Proceedings of the Tarski Symposium (Proceedings of Symposia in Pure Mathematics, Vol. XXV, University of California, Berkeley, CA, 1971), pp. 365\u2013372. American Mathematical Society, Providence (1974)","DOI":"10.1090\/pspum\/025\/0379200"},{"issue":"1","key":"518_CR23","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0003-4843(78)90031-1","volume":"13","author":"RM Solovay","year":"1978","unstructured":"Solovay, R.M., Reinhardt, W.N., Kanamori, A.: Strong axioms of infinity and elementary embeddings. Ann. Math. Logic 13(1), 73\u2013116 (1978). doi: 10.1016\/0003-4843(78)90031-1","journal-title":"Ann. Math. Logic"},{"key":"518_CR24","unstructured":"Woodin, W.H.: Notes on an AD-Like Axiom (1990). Seminar Notes Taken by George Kafkoulis"},{"key":"518_CR25","unstructured":"Woodin, W.H.: Suitable extender models II: beyond $$\\omega $$-huge. J. Math. Logic 11(2), 115\u2013436 (2011). http:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021906131100102X"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0518-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0518-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0518-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T03:38:17Z","timestamp":1718941097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0518-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,10]]},"references-count":25,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2017,2]]}},"alternative-id":["518"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0518-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2016,12,10]]},"assertion":[{"value":"28 September 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 November 2016","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 December 2016","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}