{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T06:32:17Z","timestamp":1780381937404,"version":"3.54.1"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T00:00:00Z","timestamp":1586390400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T00:00:00Z","timestamp":1586390400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["18K03397"],"award-info":[{"award-number":["18K03397"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010485","name":"Japan Student Services Organization","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100010485","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":[[2021,2]]},"DOI":"10.1007\/s00153-020-00730-x","type":"journal-article","created":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T20:02:34Z","timestamp":1586462554000},"page":"17-47","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Strong downward L\u00f6wenheim\u2013Skolem theorems for stationary logics, I"],"prefix":"10.1007","volume":"60","author":[{"given":"Saka\u00e9","family":"Fuchino","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andr\u00e9 Ottenbreit Maschio","family":"Rodrigues","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hiroshi","family":"Sakai","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,4,9]]},"reference":[{"key":"730_CR1","volume-title":"Model-Theoretic Logics, Perspectives in Mathematical Logic","year":"1985","unstructured":"Barwise, J., Feferman, S. (eds.): Model-Theoretic Logics, Perspectives in Mathematical Logic. Springer, New York (1985)"},{"issue":"8","key":"730_CR2","doi-asserted-by":"publisher","first-page":"2893","DOI":"10.1090\/S0002-9939-2011-11103-1","volume":"140","author":"S Cox","year":"2012","unstructured":"Cox, S.: The diagonal reflection principle. Proc. Am. Math. Soc. 140(8), 2893\u20132902 (2012)","journal-title":"Proc. Am. Math. Soc."},{"key":"730_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/S0219061313500013","volume":"13","author":"P Doebler","year":"2013","unstructured":"Doebler, P.: Rado\u2019s conjecture implies that all stationary set preserving forcing are semiproper. J. Math. Log. 13, 1 (2013)","journal-title":"J. Math. Log."},{"issue":"1\u20132","key":"730_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF02020444","volume":"17","author":"P Erd\u0151s","year":"1966","unstructured":"Erd\u0151s, P., Hajnal, A.: On chromatic number of graphs and set-systems. Acta Math. Hung. 17(1\u20132), 61\u201399 (1966)","journal-title":"Acta Math. Hung."},{"issue":"1","key":"730_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/1971415","volume":"127","author":"M Foreman","year":"1988","unstructured":"Foreman, M., Magidor, M., Shelah, S.: Martin\u2019s Maximum, saturated ideals, and non-regular ultrafilters, Part I. Ann. Math. Second Ser. 127(1), 1\u201347 (1988)","journal-title":"Ann. Math. Second Ser."},{"issue":"8","key":"730_CR6","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1016\/j.topol.2009.04.068","volume":"157","author":"S Fuchino","year":"2010","unstructured":"Fuchino, S., Juh\u00e1sz, I., Soukup, L., Szentmikl\u00f3ssy, Z., Usuba, T.: Fodor-type reflection principle and reflection of metrizability and meta-Lindel\u00f6fness. Topol. Appl. 157(8), 1415\u20131429 (2010)","journal-title":"Topol. Appl."},{"key":"730_CR7","unstructured":"Fuchino, S., Soukup, L., Sakai, H., Usuba, T.: More About Fodor-Type Reflection Principle (submitted)"},{"key":"730_CR8","unstructured":"Fuchino, S.: Fodor-type reflection principle and Balogh\u2019s reflection theorems. RIMS K\u00f4ky\u00fbroku No. 1686, 41\u201358 (2010)"},{"key":"730_CR9","doi-asserted-by":"publisher","first-page":"261","DOI":"10.4064\/fm212-3-4","volume":"212","author":"S Fuchino","year":"2011","unstructured":"Fuchino, S., Rinot, A.: Openly generated Boolean algebras and the Fodor-type reflection principle. Fundam. Math. 212, 261\u2013283 (2011)","journal-title":"Fundam. Math."},{"key":"730_CR10","unstructured":"Fuchino, S., Sakai, H., Torres-Perez, V., Usuba, T.: Rado\u2019s conjecture and the Fodor-type reflection principle (in preparation)"},{"key":"730_CR11","unstructured":"Fuchino, S., Usuba, T.: A reflection principle formulated in terms of games. RIMS K\u00f4ky\u00fbroku, No. 1895, 37\u201347 (2014)"},{"key":"730_CR12","unstructured":"Fuchino, S., Ottenbreit, A., Rodrigues, M., Sakai, H.: Strong downward L\u00f6wenheim\u2013Skolem theorems for stationary logics, II (submitted)"},{"key":"730_CR13","unstructured":"Jech, T.: Set Theory, The Third Millennium Edition. Springer, New York (2001\/2006)"},{"key":"730_CR14","unstructured":"Kanamori, A.: The Higher Infinite. Springer, New York (1994\/2003)"},{"key":"730_CR15","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/s00153-003-0211-1","volume":"43","author":"B K\u00f6nig","year":"2004","unstructured":"K\u00f6nig, B.: Generic compactness reformulated. Arch. Math. Log. 43, 311\u2013326 (2004)","journal-title":"Arch. Math. Log."},{"key":"730_CR16","unstructured":"Magidor, M.: Large cardinals and strong logics, slides of tutorial lectures at the CRM research programme \u201cLarge cardinals and strong logics\u201d (2016). http:\/\/www.crm.cat\/en\/Activities\/Curs_2016-2017\/Documents\/Tutorial%20lecture%202.pdf"},{"key":"730_CR17","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1090\/S0002-9947-1975-0376334-6","volume":"204","author":"S Shelah","year":"1975","unstructured":"Shelah, S.: Generalized quantifiers and compact logic. Trans. Am. Math. Soc. 204, 342\u2013364 (1975)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"730_CR18","doi-asserted-by":"publisher","first-page":"181","DOI":"10.2178\/jsl\/1208358748","volume":"73","author":"H Sakai","year":"2008","unstructured":"Sakai, H.: Semistationary and stationary reflection. J. Symb. Log. 73(1), 181\u2013192 (2008)","journal-title":"J. Symb. Log."},{"issue":"1","key":"730_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1112\/jlms\/s2-27.1.1","volume":"2\u201327","author":"S Todor\u010devi\u0107","year":"1983","unstructured":"Todor\u010devi\u0107, S.: On a conjecture of R. Rado. J. Lond. Math. Soc. 2\u201327(1), 1\u20138 (1983)","journal-title":"J. Lond. Math. Soc."},{"issue":"1","key":"730_CR20","doi-asserted-by":"publisher","first-page":"37","DOI":"10.2178\/bsl\/1080330273","volume":"10","author":"J V\u00e4\u00e4n\u00e4nen","year":"2004","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Barwise: abstract model theory and generalized quantifiers. Bull. Symb. Log. 10(1), 37\u201353 (2004)","journal-title":"Bull. Symb. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00730-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-020-00730-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00730-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,8]],"date-time":"2021-04-08T23:06:18Z","timestamp":1617923178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-020-00730-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,9]]},"references-count":20,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["730"],"URL":"https:\/\/doi.org\/10.1007\/s00153-020-00730-x","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,4,9]]},"assertion":[{"value":"11 March 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 March 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 April 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}