{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T06:07:33Z","timestamp":1784527653548,"version":"3.55.0"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T00:00:00Z","timestamp":1763510400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T00:00:00Z","timestamp":1763510400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP19J01239"],"award-info":[{"award-number":["JP19J01239"]}],"id":[{"id":"10.13039\/501100001691","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":[[2026,3]]},"DOI":"10.1007\/s00153-025-00999-w","type":"journal-article","created":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T10:16:24Z","timestamp":1763547384000},"page":"319-331","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On the hierarchy of linearity axioms"],"prefix":"10.1007","volume":"65","author":[{"given":"Makoto","family":"Fujiwara","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,11,19]]},"reference":[{"key":"999_CR1","doi-asserted-by":"publisher","unstructured":"Akama, Y., Berardi, S., Hayashi, S., Kohlenbach, U.: An arithmetical hierarchy of the law of excluded middle and related principles. In: Ganzinger, H. (ed.) Proc. of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004), pp. 192\u2013201. IEEE Computer Society Press, Washington, DC (2004). https:\/\/doi.org\/10.1109\/LICS.2004.1319613","DOI":"10.1109\/LICS.2004.1319613"},{"issue":"3","key":"999_CR2","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1002\/malq.202000077","volume":"68","author":"M Fujiwara","year":"2022","unstructured":"Fujiwara, M., Kurahashi, T.: Refining the arithmetical hierarchy of classical principles. Math. Log. Q. 68(3), 318\u2013345 (2022). https:\/\/doi.org\/10.1002\/malq.202000077","journal-title":"Math. Log. Q."},{"issue":"1\u20132","key":"999_CR3","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/s00153-010-0209-4","volume":"50","author":"D Jongh","year":"2011","unstructured":"Jongh, D., Verbrugge, R., Visser, A.: Intermediate logics and the de Jongh property. Arch. Math. Logic 50(1\u20132), 197\u2013213 (2011). https:\/\/doi.org\/10.1007\/s00153-010-0209-4","journal-title":"Arch. Math. Logic"},{"key":"999_CR4","doi-asserted-by":"crossref","unstructured":"Smory\u0144ski, C.A.: Applications of Kripke models. In: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, pp. 324\u2013391. Springer, Berlin, Heidelberg (1973)","DOI":"10.1007\/BFb0066744"},{"issue":"3","key":"999_CR5","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1017\/bsl.2023.29","volume":"29","author":"M Fujiwara","year":"2023","unstructured":"Fujiwara, M., Ishihara, H., Nemoto, T., Suzuki, N.-Y., Yokoyama, K.: Extended frames and separations of logical principles. Bull. Symb. Log. 29(3), 311\u2013353 (2023). https:\/\/doi.org\/10.1017\/bsl.2023.29","journal-title":"Bull. Symb. Log."},{"issue":"3","key":"999_CR6","doi-asserted-by":"publisher","first-page":"991","DOI":"10.1017\/jsl.2017.63","volume":"83","author":"M Fujiwara","year":"2018","unstructured":"Fujiwara, M., Kohlenbach, U.: Interrelation between weak fragments of double negation shift and related principles. J. Symb. Log. 83(3), 991\u20131012 (2018). https:\/\/doi.org\/10.1017\/jsl.2017.63","journal-title":"J. Symb. Log."},{"key":"999_CR7","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. The Clarendon Press, Oxford University Press, New York (1997)"},{"key":"999_CR8","doi-asserted-by":"publisher","unstructured":"Ishihara, H.: Markov\u2019s principle, Church\u2019s thesis and Lindel\u00f6f\u2019s theorem. Indag. Math. (N.S.) 4(3), 321\u2013325 (1993) https:\/\/doi.org\/10.1016\/0019-3577(93)90005-J","DOI":"10.1016\/0019-3577(93)90005-J"},{"issue":"3","key":"999_CR9","doi-asserted-by":"publisher","first-page":"1124","DOI":"10.1017\/jsl.2021.47","volume":"86","author":"M Fujiwara","year":"2021","unstructured":"Fujiwara, M., Kurahashi, T.: Prenex normal form theorems in semi-classical arithmetic. The Journal of Symbolic Logic 86(3), 1124\u20131153 (2021). https:\/\/doi.org\/10.1017\/jsl.2021.47","journal-title":"The Journal of Symbolic Logic"},{"key":"999_CR10","volume-title":"Applied Proof Theory: Proof Interpretations and Their Use in Mathematics","author":"U Kohlenbach","year":"2008","unstructured":"Kohlenbach, U.: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer, Berlin (2008)"},{"key":"999_CR11","unstructured":"Troelstra, A.S., Dalen, D.: Constructivism in Mathematics: An Introduction, Vol. I. Studies in Logic and the Foundations of Mathematics, vol. 121. North-Holland Publishing Co., Amsterdam (1988)"},{"issue":"7\u20138","key":"999_CR12","doi-asserted-by":"publisher","first-page":"1113","DOI":"10.1007\/s00153-022-00827-5","volume":"61","author":"M Fujiwara","year":"2022","unstructured":"Fujiwara, M.: $$\\Delta ^0_1$$ variants of the law of excluded middle and related principles. Arch. Math. Logic 61(7\u20138), 1113\u20131127 (2022). https:\/\/doi.org\/10.1007\/s00153-022-00827-5","journal-title":"Arch. Math. Logic"},{"key":"999_CR13","doi-asserted-by":"publisher","unstructured":"Ishihara, H.: An introduction to constructive reverse mathematics. In: Bridges, D., Ishihara, H., Rathjen, M., Schwichtenberg, H. (eds.) Handbook of Constructive Mathematics, pp. 636\u2013660. Cambridge University Press, Cambridge (2023). https:\/\/doi.org\/10.1017\/9781009039888.024","DOI":"10.1017\/9781009039888.024"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00999-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-025-00999-w","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00999-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T03:59:11Z","timestamp":1775447951000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-025-00999-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,19]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,3]]}},"alternative-id":["999"],"URL":"https:\/\/doi.org\/10.1007\/s00153-025-00999-w","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,19]]},"assertion":[{"value":"9 June 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 November 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 November 2025","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":"Competing interests"}}]}}