{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T18:02:26Z","timestamp":1784484146336,"version":"3.55.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032313478","type":"print"},{"value":"9783032313485","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-3-032-31348-5_19","type":"book-chapter","created":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:47Z","timestamp":1784482187000},"page":"289-303","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the\u00a0$$\\varSigma $$-Hierarchy of\u00a0the\u00a0Logical Principles Over\u00a0Intuitionistic Predicate Logic"],"prefix":"10.1007","author":[{"given":"Makoto","family":"Fujiwara","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,20]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","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.) Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 192\u2013201. IEEE Computer Society Press, Washington (2004)","DOI":"10.1109\/LICS.2004.1319613"},{"key":"19_CR2","unstructured":"Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill Book Co., New York-Toronto (1967)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. The Clarendon Press, Oxford University Press, New York (1997)","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"issue":"7\u20138","key":"19_CR4","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)","journal-title":"Arch. Math. Logic"},{"key":"19_CR5","unstructured":"Fujiwara, M.: Correction of the proof of Theorem 16 in [6] (unpublished note) (2026). https:\/\/researchmap.jp\/makotofujiwara\/misc\/53544109?lang=en"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Fujiwara, M.: On the hierarchy of linearity axioms. Arch. Math. Logic 65(3), 319\u2013331 (2026)","DOI":"10.1007\/s00153-025-00999-w"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Fujiwara, M.: On the $$\\Sigma ^0_1$$-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis. Arch. Math. Logic. 65(5), 675\u2013690, (2026). published online first","DOI":"10.1007\/s00153-026-01017-3"},{"issue":"7\u20138","key":"19_CR8","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)","journal-title":"Arch. Math. Logic"},{"issue":"3","key":"19_CR9","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)","journal-title":"Bull. Symb. Log."},{"issue":"3","key":"19_CR10","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)","journal-title":"J. Symb. Log."},{"issue":"3","key":"19_CR11","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)","journal-title":"Math. Log. Q."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Hosoi, T.: The axiomatization of the intermediate propositional systems $$S_ n$$ of G\u00f6del. J. Fac. Sci., Univ. Tokyo, Sect. I 13, 183\u2013187 (1966)","DOI":"10.3792\/pja\/1195521794"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Ishihara, H.: Markov\u2019s principle, Church\u2019s thesis and Lindel\u00f6f\u2019s theorem. Indag. Math. (N.S.) 4(3), 321\u2013325 (1993)","DOI":"10.1016\/0019-3577(93)90005-J"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Ishihara, H.: Reverse mathematics in Bishop\u2019s constructive mathematics. Philosophia Scientiae CS 6, 43\u201359 (2006)","DOI":"10.4000\/philosophiascientiae.406"},{"key":"19_CR15","first-page":"636","volume-title":"Handbook of Constructive Mathematics","author":"H Ishihara","year":"2023","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)"},{"issue":"1\u20132","key":"19_CR16","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/s00153-010-0209-4","volume":"50","author":"D de Jongh","year":"2011","unstructured":"de Jongh, D., Verbrugge, R., Visser, A.: Intermediate logics and the de Jongh property. Arch. Math. Logic 50(1\u20132), 197\u2013213 (2011)","journal-title":"Arch. Math. Logic"},{"issue":"6","key":"19_CR17","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)","journal-title":"Stud. Logica."},{"key":"19_CR18","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"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S. (ed.): Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Lecture Notes in Mathematics, vol. 344. Springer-Verlag, Berlin (1973)","DOI":"10.1007\/BFb0066739"},{"key":"19_CR20","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics: A An Introduction, Vol. I, Studies in Logic and the Foundations of Mathematics, vol. 121. North-Holland Publishing Co., Amsterdam (1988)"}],"container-title":["Lecture Notes in Computer Science","Timeless Machines: Computability Across Eras"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-31348-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:48Z","timestamp":1784482188000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-31348-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,20]]},"ISBN":["9783032313478","9783032313485"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-31348-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,20]]},"assertion":[{"value":"20 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CiE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Computability in Europe","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Trier","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}