{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T22:54:12Z","timestamp":1773096852066,"version":"3.50.1"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2021,4,26]],"date-time":"2021-04-26T00:00:00Z","timestamp":1619395200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,4,26]],"date-time":"2021-04-26T00:00:00Z","timestamp":1619395200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"DFG","award":["KO 1737\/6-1"],"award-info":[{"award-number":["KO 1737\/6-1"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2021,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this note we show that proof-theoretic uniform boundedness or bounded collection principles which allow one to formalize certain instances of countable Heine\u2013Borel compactness in proofs using abstract metric structures must be carefully distinguished from an unrestricted use of countable Heine\u2013Borel compactness.<\/jats:p>","DOI":"10.1007\/s00153-021-00771-w","type":"journal-article","created":{"date-parts":[[2021,4,26]],"date-time":"2021-04-26T06:03:42Z","timestamp":1619417022000},"page":"995-1003","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Proof-theoretic uniform boundedness and bounded collection principles and countable Heine\u2013Borel compactness"],"prefix":"10.1007","volume":"60","author":[{"given":"Ulrich","family":"Kohlenbach","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,4,26]]},"reference":[{"key":"771_CR1","unstructured":"Engr\u00e1cia, P.: Proof-theoretical studies on the bounded functional interpretation. PhD Thesis, Universidade de Lisboa (2009)"},{"key":"771_CR2","series-title":"Landscapes in Logic","first-page":"87","volume-title":"Contemporary Logic and Computing","author":"P Engr\u00e1cia","year":"2020","unstructured":"Engr\u00e1cia, P., Ferreira, F.: Bounded functional interpretation with an abstract type. In: Rezus, A. (ed.) Contemporary Logic and Computing. Landscapes in Logic, vol. 1, pp. 87\u2013112. College Publications, New York (2020)"},{"key":"771_CR3","unstructured":"Ferreira, F.: Personal communication (June 8 2020)"},{"key":"771_CR4","doi-asserted-by":"publisher","first-page":"106728","DOI":"10.1016\/j.aim.2019.106728","volume":"354","author":"F Ferreira","year":"2019","unstructured":"Ferreira, F., Leu\u015ftean, L., Pinto, P.: On the removal of weak compactness arguments in proof mining. Adv. Math. 354, 106728 (2019). pp. 55","journal-title":"Adv. Math."},{"key":"771_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.apal.2004.11.001","volume":"135","author":"F Ferreira","year":"2005","unstructured":"Ferreira, F., Oliva, P.: Bounded functional interpretation. Ann. Pure Appl. Logic 135, 73\u2013112 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"771_CR6","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF02757276","volume":"22","author":"A Genel","year":"1975","unstructured":"Genel, A., Lindenstrauss, J.: An example concerning fixed points. Israel J. Math. 22, 81\u201386 (1975)","journal-title":"Israel J. Math."},{"key":"771_CR7","doi-asserted-by":"publisher","first-page":"2615","DOI":"10.1090\/S0002-9947-07-04429-7","volume":"360","author":"P Gerhardy","year":"2008","unstructured":"Gerhardy, P., Kohlenbach, U.: General logical metatheorems for functional analysis. Trans. Am. Math. Soc. 360, 2615\u20132660 (2008)","journal-title":"Trans. Am. Math. Soc."},{"key":"771_CR8","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1090\/conm\/021\/729507","volume-title":"Topological Methods in Nonlinear Functional Analysis. Contemporary Mathematics","author":"K Goebel","year":"1983","unstructured":"Goebel, K., Kirk, W.A.: Iteration processes for nonexpansive mappings. In: Singh, S.P., Thomeier, S., Watson, B. (eds.) Topological Methods in Nonlinear Functional Analysis. Contemporary Mathematics, vol. 21, pp. 115\u2013123. AMS, New York (1983)"},{"key":"771_CR9","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1090\/S0002-9939-1976-0412909-X","volume":"59","author":"S Ishikawa","year":"1976","unstructured":"Ishikawa, S.: Fixed points and iterations of a nonexpansive mapping in a Banach space. Proc. Am. Math. Soc. 59, 65\u201371 (1976)","journal-title":"Proc. Am. Math. Soc."},{"key":"771_CR10","first-page":"xi+703","volume-title":"Handbook of Metric Fixed Point Theory","year":"2001","unstructured":"Kirk, W.A., Sims, B. (eds.): Handbook of Metric Fixed Point Theory, p. xi+703. Kluwer Academic Publishers, Dordrecht (2001)"},{"issue":"1","key":"771_CR11","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1090\/S0002-9947-04-03515-9","volume":"357","author":"U Kohlenbach","year":"2005","unstructured":"Kohlenbach, U.: Some logical metatheorems with applications in functional analysis. Trans. Am. Math. Soc. 357(1), 89\u2013128 (2005)","journal-title":"Trans. Am. Math. Soc."},{"key":"771_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.entcs.2006.05.038","volume":"165","author":"U Kohlenbach","year":"2006","unstructured":"Kohlenbach, U.: A logical uniform boundedness principle for abstract metric and hyperbolic spaces. Electronic Notes in Theoretical Computer Science (Proceedings of WoLLIC 2006) 165, 81\u201393 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science (Proceedings of WoLLIC 2006)"},{"key":"771_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, New York (2008)"},{"key":"771_CR14","doi-asserted-by":"publisher","first-page":"2764","DOI":"10.1016\/j.aim.2010.10.002","volume":"226","author":"U Kohlenbach","year":"2011","unstructured":"Kohlenbach, U.: On quantitative versions of theorems due to F. E. Browder and R. Wittmann. Adv. Math. 226, 2764\u20132795 (2011)","journal-title":"Adv. Math."},{"key":"771_CR15","first-page":"3357","volume":"10","author":"U Kohlenbach","year":"2017","unstructured":"Kohlenbach, U.: Recent progress in proof mining in nonlinear analysis. IFCoLog J. Logics Appl. 10, 3357\u20133406 (2017)","journal-title":"IFCoLog J. Logics Appl."},{"key":"771_CR16","doi-asserted-by":"publisher","first-page":"377","DOI":"10.3233\/COM-180097","volume":"8","author":"U Kohlenbach","year":"2019","unstructured":"Kohlenbach, U.: On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Computability 8, 377\u2013387 (2019)","journal-title":"Computability"},{"issue":"8","key":"771_CR17","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1155\/S1085337503212021","volume":"2003","author":"U Kohlenbach","year":"2003","unstructured":"Kohlenbach, U., Leu\u015ftean, L.: Mann iterates of directionally nonexpansive mappings in hyperbolic spaces. Abstr. Appl. Anal. 2003(8), 449\u2013477 (2003)","journal-title":"Abstr. Appl. Anal."},{"key":"771_CR18","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U., L\u00f3pez-Acedo, G., Nicolae, A.: Moduli of regularity and rates of convergence for Fej\u00e9r monotone sequences. Israel J. Math. 232, 261\u2013297 (2019)","DOI":"10.1007\/s11856-019-1870-x"},{"key":"771_CR19","unstructured":"Tao, T.: Soft analysis, hard analysis, and the finite convergence principle. Essay posted May 23, 2007. In: Tao, T. (ed.) Structure and Randomness: Pages from Year One of a Mathematical Blog, p. 298. AMS (2008)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-021-00771-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-021-00771-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-021-00771-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T22:14:17Z","timestamp":1634076857000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-021-00771-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,26]]},"references-count":19,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2021,11]]}},"alternative-id":["771"],"URL":"https:\/\/doi.org\/10.1007\/s00153-021-00771-w","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,4,26]]},"assertion":[{"value":"17 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 January 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 April 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}