{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:05Z","timestamp":1740108185473,"version":"3.37.3"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T00:00:00Z","timestamp":1594771200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T00:00:00Z","timestamp":1594771200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"crossref","award":["JP20K14354","JP18K13450"],"award-info":[{"award-number":["JP20K14354","JP18K13450"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"crossref"}]},{"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":[[2021,2]]},"DOI":"10.1007\/s00153-020-00740-9","type":"journal-article","created":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T17:04:00Z","timestamp":1594832640000},"page":"241-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Characterising Brouwer\u2019s continuity by bar recursion on moduli of continuity"],"prefix":"10.1007","volume":"60","author":[{"given":"Makoto","family":"Fujiwara","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1247-5663","authenticated-orcid":false,"given":"Tatsuji","family":"Kawai","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,7,15]]},"reference":[{"key":"740_CR1","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/S0049-237X(98)80020-7","volume-title":"Handbook of Proof Theory","author":"J Avigad","year":"1998","unstructured":"Avigad, J., Feferman, S.: G\u00f6del\u2019s functional (\u201cDialectica\u201d) interpretation. In: Buss, S. (ed.) Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics, vol. 137, pp. 337\u2013405. Elsevier, Amsterdam (1998)"},{"key":"740_CR2","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/11494645_3","volume-title":"New Computational Paradigms CiE 2005","author":"J Berger","year":"2005","unstructured":"Berger, J.: The fan theorem and uniform continuity. In: Cooper, S.B., L\u00f6we, B., Torenvliet, L. (eds.) New Computational Paradigms CiE 2005. Lecture Notes in Comput. Sci., vol. 3526, pp. 18\u201322. Springer, Berlin (2005)"},{"key":"740_CR3","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11780342_4","volume-title":"Logical Approaches to Computational Barriers. CiE 2006","author":"J Berger","year":"2006","unstructured":"Berger, J.: The logical strength of the uniform continuity theorem. In: Beckmann, A., Berger, U., L\u00f6we, B., Tucker, J.V. (eds.) Logical Approaches to Computational Barriers. CiE 2006. Lecture Notes in Comput. Sci., vol. 3988, pp. 35\u201339. Springer, Berlin (2006)"},{"key":"740_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565663","volume-title":"Varieties of Constructive Mathematics","author":"D Bridges","year":"1987","unstructured":"Bridges, D., Richman, F.: Varieties of Constructive Mathematics. Cambridge University Press, Cambridge (1987)"},{"key":"740_CR5","unstructured":"Brouwer, L.E.J.: \u00dcber Definitionsbereiche von Funktionen. Math. Ann. 97, 60\u201375 (1927) (English translation of sections 1\u20133 in van Heijenoort, J.: From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931, pp. 457\u2013463. Harvard University Press, Cambridge, MA (1967))"},{"issue":"1","key":"740_CR6","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/j.apal.2008.09.018","volume":"157","author":"H Diener","year":"2009","unstructured":"Diener, H., Loeb, I.: Sequences of real functions on $$[0,1]$$ in constructive reverse mathematics. Ann. Pure Appl. Logic 157(1), 50\u201361 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"740_CR7","doi-asserted-by":"crossref","unstructured":"Escard\u00f3, M.: Continuity of G\u00f6del\u2019s system T definable functionals via effectful forcing. In: Proceedings of the 29th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX. Electronic Notes in Theoretical Computer Science, vol. 298, pp. 119\u2013141. Elsevier, Amsterdam (2013)","DOI":"10.1016\/j.entcs.2013.09.010"},{"issue":"8","key":"740_CR8","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1016\/j.apal.2019.04.001","volume":"170","author":"M Fujiwara","year":"2019","unstructured":"Fujiwara, M., Kawai, T.: Equivalence of bar induction and bar recursion for continuous functions with continuous moduli. Ann. Pure Appl. Logic 170(8), 867\u2013890 (2019)","journal-title":"Ann. Pure Appl. Logic"},{"key":"740_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-981-15-2221-5_2","volume-title":"Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic","author":"M Fujiwara","year":"2020","unstructured":"Fujiwara, M., Kawai, T.: A logical characterization of the continuous bar induction. In: Liu, F., Ono, H., Yu, J. (eds.) Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic, pp. 25\u201333. Springer, Singapore (2020)"},{"key":"740_CR10","first-page":"107","volume":"20","author":"WA Howard","year":"1968","unstructured":"Howard, W.A.: Functional interpretation of bar induction by bar recursion. Compos. Math. 20, 107\u2013124 (1968)","journal-title":"Compos. Math."},{"key":"740_CR11","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1093\/acprof:oso\/9780198566519.003.0016","volume-title":"From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, number\u00a048 in Oxford Logic Guides","author":"H Ishihara","year":"2005","unstructured":"Ishihara, H.: Constructive reverse mathematics: compactness properties. In: Crosilla, L., Schuster, P. (eds.) From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, number\u00a048 in Oxford Logic Guides, pp. 245\u2013267. Oxford University Press, Oxford (2005)"},{"issue":"FT3","key":"740_CR12","first-page":"1","volume":"11","author":"T Kawai","year":"2019","unstructured":"Kawai, T.: Principles of bar induction and continuity on Baire space. J. Log. Anal. 11(FT3), 1\u201320 (2019)","journal-title":"J. Log. Anal."},{"key":"740_CR13","series-title":"Springer Monographs in Mathematics","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 Monographs in Mathematics. Springer, Berlin (2008)"},{"issue":"3","key":"740_CR14","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0003-4843(70)90001-X","volume":"1","author":"G Kreisel","year":"1970","unstructured":"Kreisel, G., Troelstra, A.S.: Formal systems for some branches of intuitionistic analysis. Ann. Math. Logic 1(3), 229\u2013387 (1970)","journal-title":"Ann. Math. Logic"},{"issue":"1","key":"740_CR15","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1017\/jsl.2017.33","volume":"83","author":"P Oliva","year":"2018","unstructured":"Oliva, P., Steila, S.: A direct proof of Schwichtenberg\u2019s bar recursion closure theorem. J. Symb. Logic 83(1), 70\u201383 (2018)","journal-title":"J. Symb. Logic"},{"key":"740_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/pspum\/005\/0154801","volume-title":"Recursive Function Theory : Proceedings of Symposia in Pure Mathematics","author":"C Spector","year":"1962","unstructured":"Spector, C.: Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. In: Dekker, F.D.E. (ed.) Recursive Function Theory : Proceedings of Symposia in Pure Mathematics, vol. 5, pp. 1\u201327. American Mathematical Society, Providence (1962)"},{"key":"740_CR17","series-title":"Lecture Notes in Math","volume-title":"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis","year":"1973","unstructured":"Troelstra, A.S. (ed.): Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Lecture Notes in Math, vol. 344. Springer, Berlin (1973)"},{"key":"740_CR18","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics: An Introduction, Volume I. Studies in Logic and the Foundations of Mathematics, vol. 121. North Holland, Amsterdam (1988)"},{"key":"740_CR19","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics: An Introduction, Volume II. Studies in Logic and the Foundations of Mathematics, vol. 123. North Holland, Amsterdam (1988)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00740-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-020-00740-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00740-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,14]],"date-time":"2021-07-14T23:28:34Z","timestamp":1626305314000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-020-00740-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,15]]},"references-count":19,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["740"],"URL":"https:\/\/doi.org\/10.1007\/s00153-020-00740-9","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2020,7,15]]},"assertion":[{"value":"5 September 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 June 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 July 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}