{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T06:07:36Z","timestamp":1784527656011,"version":"3.55.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T00:00:00Z","timestamp":1776816000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T00:00:00Z","timestamp":1776816000000},"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":["JP21KK0045"],"award-info":[{"award-number":["JP21KK0045"]}],"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,6]]},"DOI":"10.1007\/s00153-026-01017-3","type":"journal-article","created":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T05:43:12Z","timestamp":1776836592000},"page":"675-690","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On the $$\\Sigma ^0_1$$-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis"],"prefix":"10.1007","volume":"65","author":[{"given":"Makoto","family":"Fujiwara","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,4,22]]},"reference":[{"key":"1017_CR1","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BF01988049","volume":"3","author":"G Kreisel","year":"1957","unstructured":"Kreisel, G., Putnam, H.: Eine Unableitbarkeitsbeweismethode f\u00fcr den Intuitionistischen Aussagenkalk\u00fcl. Arch. Math. Logic 3, 74\u201378 (1957). https:\/\/doi.org\/10.1007\/BF01988049","journal-title":"Arch. Math. Logic"},{"key":"1017_CR2","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":"7\u20138","key":"1017_CR3","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1007\/s00153-015-0444-9","volume":"54","author":"M Fujiwara","year":"2015","unstructured":"Fujiwara, M., Ishihara, H., Nemoto, T.: Some principles weaker than Markov\u2019s principle. Arch. Math. Logic 54(7\u20138), 861\u2013870 (2015). https:\/\/doi.org\/10.1007\/s00153-015-0444-9","journal-title":"Arch. Math. Logic"},{"issue":"6","key":"1017_CR4","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1007\/s11225-015-9627-y","volume":"103","author":"U Kohlenbach","year":"2015","unstructured":"Kohlenbach, U.: On the disjunctive Markov principle. Stud. Logica. 103(6), 1313\u20131317 (2015). https:\/\/doi.org\/10.1007\/s11225-015-9627-y","journal-title":"Stud. Logica."},{"issue":"3","key":"1017_CR5","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."},{"issue":"7\u20138","key":"1017_CR6","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"},{"issue":"3","key":"1017_CR7","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."},{"key":"1017_CR8","doi-asserted-by":"publisher","unstructured":"Fujiwara, M.: On the hierarchy of linearity axioms. Arch. Math. Logic 65, 319\u2013331 (2026). https:\/\/doi.org\/10.1007\/s00153-025-00999-w","DOI":"10.1007\/s00153-025-00999-w"},{"key":"1017_CR9","unstructured":"Fujiwara, M.: Correction of the proof of Theorem 16 in [8] (Unpublished note). https:\/\/researchmap.jp\/makotofujiwara\/published_papers\/51788894 (2026)"},{"key":"1017_CR10","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"},{"issue":"3","key":"1017_CR11","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0019-3577(93)90005-J","volume":"4","author":"H Ishihara","year":"1993","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","journal-title":"Indag. Math. (N.S.)"},{"issue":"2","key":"1017_CR12","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/malq.19880340202","volume":"34","author":"M Mandelkern","year":"1988","unstructured":"Mandelkern, M.: Constructively complete finite sets. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34(2), 97\u2013103 (1988). https:\/\/doi.org\/10.1002\/malq.19880340202","journal-title":"Zeitschrift fur mathematische Logik und Grundlagen der Mathematik"},{"key":"1017_CR13","doi-asserted-by":"publisher","unstructured":"Fujiwara, M., Nemoto, T.: On the decomposition of $$\\rm WKL!! $$. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 381, (2023). https:\/\/doi.org\/10.1098\/rsta.2022.0010","DOI":"10.1098\/rsta.2022.0010"},{"issue":"3","key":"1017_CR14","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."},{"key":"1017_CR15","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S. (ed.): Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Lecture Notes in Mathematics, vol. 344. Springer, Berlin, New York (1973)","DOI":"10.1007\/BFb0066739"},{"key":"1017_CR16","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":"1017_CR17","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":"1017_CR18","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":"1017_CR19","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)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-026-01017-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-026-01017-3","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-026-01017-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T02:22:03Z","timestamp":1780971723000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-026-01017-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,22]]},"references-count":19,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["1017"],"URL":"https:\/\/doi.org\/10.1007\/s00153-026-01017-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,4,22]]},"assertion":[{"value":"2 December 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 April 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 April 2026","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"}}]}}