Edit Profile (opens in new tab) Kohlenbach, Ulrich Wilhelm Co-Author Distance Author ID: kohlenbach.ulrich-wilhelm Published as: Kohlenbach, Ulrich; Kohlenbach, U.; Kohlenbach, Ulrich Wilhelm; Kohlenbach, Ulrich W. more...less External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 98 Publications since 1990, including 2 Books and 2 Additional arXiv Preprints 16 Contributions as Editor Reviewing Activity: 8 Reviews Co-Authors: 38 Co-Authors with 59 Joint Publications 741 Co-Co-Authors all top 5 Co-Authors 53 single-authored 9 Leuştean, Laurenţiu 6 De Queiroz, Ruy José Guerra Barretto 5 Buss, Samuel R. 5 Nicolae, Adriana 4 Rathjen, Michael 3 Barceló, Pablo 3 Gerhardy, Philipp 3 Libkin, Leonid O. 3 López Acedo, Genaro 2 Delon, Françoise 2 Freund, Anton 2 Fujiwara, Makoto 2 Iemhoff, Rosalie 2 Khan, Muhammad Aqeel Ahmad 2 Körnlein, Daniel 2 Koutsoukou-Argyraki, Angeliki 2 Kreuzer, Alexander P. 2 Maddy, Penelope J. 2 Oliva, Paulo 2 Pinto, Pedro 2 Pischke, Nicholas 2 Safarik, Pavol 2 Stephan, Frank 1 Bačák, Miroslav 1 Berardi, Stefano 1 Butz, Carsten 1 Cheval, Horaţiu 1 Gaspar, Jaime 1 Günzel, Daniel 1 Hernest, Mircea-Dan 1 Lambov, Branimir 1 Laurenţiu, Leuştean 1 Riis, Søren 1 Schwichtenberg, Helmut 1 Sipoş, Andrei 1 Streicher, Thomas 1 van Bakel, Steffen 1 Winskel, Glynn all top 5 Serials 10 Annals of Pure and Applied Logic 8 Archive for Mathematical Logic 6 Journal of Mathematical Analysis and Applications 6 The Journal of Symbolic Logic 6 Mathematical Logic Quarterly (MLQ) 5 Oberwolfach Reports 4 Advances in Mathematics 4 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 3 Numerical Functional Analysis and Optimization 3 Studia Logica 3 Ergodic Theory and Dynamical Systems 3 Communications in Contemporary Mathematics 2 Israel Journal of Mathematics 2 Transactions of the American Mathematical Society 2 Numerical Algorithms 2 Journal of Convex Analysis 2 Logic Journal of the IGPL 2 Lecture Notes in Computer Science 2 Lecture Notes in Logic 1 Computers & Mathematics with Applications 1 Gazette des Mathématiciens 1 Journal of Computer and System Sciences 1 Journal of Optimization Theory and Applications 1 Notre Dame Journal of Formal Logic 1 Pacific Journal of Mathematics 1 Theoretical Computer Science 1 Optimization 1 Information and Computation 1 Abstract and Applied Analysis 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Journal of the European Mathematical Society (JEMS) 1 Journal of Nonlinear and Convex Analysis 1 Foundations of Computational Mathematics 1 Fixed Point Theory and Applications 1 Optimization Letters 1 Computability 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) 1 Springer Monographs in Mathematics all top 5 Fields 103 Mathematical logic and foundations (03-XX) 50 Operator theory (47-XX) 16 General and overarching topics; collections (00-XX) 9 Computer science (68-XX) 7 Approximations and expansions (41-XX) 7 General topology (54-XX) 6 Functional analysis (46-XX) 6 Differential geometry (53-XX) 3 Real functions (26-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Operations research, mathematical programming (90-XX) 2 Combinatorics (05-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Probability theory and stochastic processes (60-XX) 2 Numerical analysis (65-XX) 1 Number theory (11-XX) 1 Ordinary differential equations (34-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 90 Publications have been cited 1,321 times in 464 Documents Cited by ▼ Year ▼ Applied proof theory. Proof interpretations and their use in mathematics. Zbl 1158.03002 Kohlenbach, Ulrich 198 2008 Some logical metatheorems with applications in functional analysis. Zbl 1079.03046 Kohlenbach, Ulrich 161 2005 Higher order reverse mathematics. Zbl 1097.03053 Kohlenbach, Ulrich 62 2005 General logical metatheorems for functional analysis. Zbl 1130.03036 Gerhardy, Philipp; Kohlenbach, Ulrich 43 2008 On quantitative versions of theorems due to F. E. Browder and R. Wittmann. Zbl 1223.03041 Kohlenbach, Ulrich 40 2011 Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces. Zbl 1184.03057 Kohlenbach, Ulrich; Leuştean, Laurentiu 36 2010 Foundational and mathematical uses of higher types. Zbl 1022.03044 Kohlenbach, Ulrich 28 2002 Analysing proofs in analysis. Zbl 0881.03032 Kohlenbach, Ulrich 28 1996 Proof-theoretic methods in nonlinear analysis. Zbl 1445.03062 Kohlenbach, Ulrich 28 2018 Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin’s proof for Chebycheff approximation. Zbl 0795.03086 Kohlenbach, Ulrich 27 1993 Effective metastability of Halpern iterates in \(CAT(0)\) spaces. Zbl 1270.47060 Kohlenbach, U.; Leuştean, L. 24 2012 Proof mining: a systematic way of analyzing proofs in mathematics. Zbl 1079.03045 Kohlenbach, U.; Oliva, P. 23 2003 Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization. Zbl 0781.03051 Kohlenbach, Ulrich 23 1992 Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Zbl 0882.03050 Kohlenbach, Ulrich 20 1996 Mann iterates of directionally nonexpansive mappings in hyperbolic spaces. Zbl 1038.47037 Kohlenbach, Ulrich; Laurenţiu, Leuştean 20 2003 A quantitative mean ergodic theorem for uniformly convex Banach spaces. Zbl 1190.37005 Kohlenbach, U.; Leuştean, L. 19 2009 Uniform asymptotic regularity for Mann iterates. Zbl 1043.47045 Kohlenbach, Ulrich 18 2003 A quantitative version of a theorem due to Borwein-Reich-Stafrir. Zbl 1001.47035 Kohlenbach, Ulrich 17 2001 On the computational content of convergence proofs via Banach limits. Zbl 1329.03094 Kohlenbach, U.; Leuştean, L. 17 2012 Quantitative results on Fejér monotone sequences. Zbl 06814506 Kohlenbach, Ulrich; Leuştean, Laurenţiu; Nicolae, Adriana 16 2018 Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators. Zbl 1300.47070 Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki 15 2015 On the no-counterexample interpretation. Zbl 0960.03047 Kohlenbach, Ulrich 14 1999 Pointwise hereditary majorization and some applications. Zbl 0729.03031 Kohlenbach, Ulrich 14 1992 Quantitative asymptotic regularity results for the composition of two mappings. Zbl 1477.47043 Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana 14 2017 Some computational aspects of metric fixed-point theory. Zbl 1086.47021 Kohlenbach, Ulrich 13 2005 On uniform weak König’s lemma. Zbl 1001.03052 Kohlenbach, Ulrich 12 2002 On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces. Zbl 1358.47038 Kohlenbach, Ulrich 12 2016 Moduli of regularity and rates of convergence for Fejér monotone sequences. Zbl 1476.47063 Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana 12 2019 The approximate fixed point property in product spaces. Zbl 1118.47047 Kohlenbach, U.; Leuştean, L. 11 2007 Arithmetizing proofs in analysis. Zbl 0919.03046 Kohlenbach, Ulrich 11 1998 Strongly uniform bounds from semi-constructive proofs. Zbl 1099.03048 Gerhardy, Philipp; Kohlenbach, Ulrich 11 2006 Extracting Herbrand disjunctions by functional interpretation. Zbl 1081.03056 Gerhardy, Philipp; Kohlenbach, Ulrich 11 2005 Things that can and things that cannot be done in PRA. Zbl 0958.03039 Kohlenbach, Ulrich 10 2000 Theorie der majorisierbaren und stetigen Funktionale und ihre Anwendung bei der Extraktion von Schranken aus inkonstruktiven Beweisen: effektive Eindeutigkeitsmodule bei besten Approximationen aus ineffektiven Eindeutigkeitsbeweisen. Zbl 0744.03056 Kohlenbach, Ulrich Wilhelm 10 1990 Effective metastability for modified Halpern iterations in CAT(0) spaces. Zbl 1475.47073 Schade, K.; Kohlenbach, U. 10 2012 Shoenfield is Gödel after Krivine. Zbl 1154.03036 Streicher, Thomas; Kohlenbach, Ulrich 9 2007 Elimination of Skolem functions for monotone formulas in analysis. Zbl 0916.03040 Kohlenbach, Ulrich 9 1998 A uniform quantitative form of sequential weak compactness and Baillon’s nonlinear ergodic theorem. Zbl 1245.03093 Kohlenbach, Ulrich 9 2012 A note on Spector’s quantifier-free rule of extensionality. Zbl 0980.03058 Kohlenbach, Ulrich 9 2001 Relative constructivity. Zbl 0928.03065 Kohlenbach, Ulrich 9 1998 Bounds on iterations of asymptotically quasi-nonexpansive mappings. Zbl 1089.47053 Kohlenbach, Ulrich; Lambov, Branimir 9 2004 Fluctuations, effective learnability and metastability in analysis. Zbl 1319.03062 Kohlenbach, Ulrich; Safarik, Pavol 9 2014 Addendum to: “Effective metastability of Halpern iterates in CAT(0) spaces”. Zbl 1284.47044 Kohlenbach, Ulrich Wilhelm; Leuştean, Laurenţiu 9 2014 Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces. Zbl 1316.47056 Körnlein, Daniel; Kohlenbach, Ulrich 8 2011 On the computational content of the Krasnoselski and Ishikawa fixed point theorems. Zbl 0985.03048 Kohlenbach, Ulrich 8 2001 New effective moduli of uniqueness and uniform a priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory. Zbl 0795.41020 Kohlenbach, Ulrich 8 1993 The finitary content of sunny nonexpansive retractions. Zbl 07266076 Kohlenbach, Ulrich; Sipoş, Andrei 8 2021 On the computational content of the Bolzano-Weierstraß principle. Zbl 1209.03046 Safarik, Pavol; Kohlenbach, Ulrich 8 2010 A uniform betweenness property in metric spaces and its role in the quantitative analysis of the “lion-man” game. Zbl 1460.49029 Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana 8 2021 Logical metatheorems for abstract spaces axiomatized in positive bounded logic. Zbl 1402.03078 Günzel, Daniel; Kohlenbach, Ulrich 7 2016 Proof mining in \(L_{1}\)-approximation. Zbl 1026.03040 Kohlenbach, Ulrich; Oliva, Paulo 7 2003 Quantitative results on the proximal point algorithm in uniformly convex Banach spaces. Zbl 1461.47024 Kohlenbach, Ulrich 7 2021 Ramsey’s theorem for pairs and provably recursive functions. Zbl 1221.03059 Kreuzer, Alexander; Kohlenbach, Ulrich 7 2009 Quantitative analysis of a Halpern-type proximal point algorithm for accretive operators in Banach spaces. Zbl 1487.47108 Kohlenbach, Ulrich 7 2020 Interrelation between weak fragments of double negation shift and related principles. Zbl 1445.03006 Fujiwara, Makoto; Kohlenbach, Ulrich 7 2018 Effective uniform bounds from proofs in abstract functional analysis. Zbl 1154.46043 Kohlenbach, Ulrich 6 2008 Term extraction and Ramsey’s theorem for pairs. Zbl 1254.03112 Kohlenbach, Ulrich; Kreuzer, Alexander P. 6 2012 Remarks on Herbrand normal forms and Herbrand realizations. Zbl 0742.03021 Kohlenbach, Ulrich 6 1992 On weak Markov’s principle. Zbl 1044.03046 Kohlenbach, Ulrich 6 2002 On the disjunctive Markov principle. Zbl 1330.03091 Kohlenbach, Ulrich 6 2015 On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017 Kohlenbach, Ulrich 6 2019 A logical uniform boundedness principle for abstract metric and hyperbolic spaces. Zbl 1262.54020 Kohlenbach, Ulrich 6 2006 On the logical analysis of proofs based on nonseparable Hilbert space theory. Zbl 1269.03056 Kohlenbach, Ulrich 5 2010 On Tao’s “finitary” infinite pigeonhole principle. Zbl 1188.03045 Gaspar, Jaime; Kohlenbach, Ulrich 5 2010 On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness. Zbl 0945.03088 Kohlenbach, Ulrich 5 1998 Quantitative translations for viscosity approximation methods in hyperbolic spaces. Zbl 1495.47106 Kohlenbach, Ulrich; Pinto, Pedro 5 2022 A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space. Zbl 07027311 Kohlenbach, Ulrich 5 2019 Rates of convergence for iterative solutions of equations involving set-valued accretive operators. Zbl 1504.65118 Kohlenbach, Ulrich; Powell, Thomas 5 2020 On modified Halpern and Tikhonov-Mann iterations. Zbl 1519.47077 Cheval, Horaţiu; Kohlenbach, Ulrich; Leuştean, Laurenţiu 5 2023 The use of a logical principle of uniform boundedness in analysis. Zbl 0954.03065 Kohlenbach, Ulrich 4 1999 Proof theory and computational analysis. Zbl 0917.68196 Kohlenbach, Ulrich 4 1997 Effective asymptotic regularity for one-parameter nonexpansive semigroups. Zbl 1432.03116 Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki 4 2016 Quantitative analysis of a subgradient-type method for equilibrium problems. Zbl 1495.47110 Pischke, Nicholas; Kohlenbach, Ulrich 4 2022 Quantitative image recovery theorems. Zbl 1307.47059 Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich 4 2014 Bounds on Kuhfittig’s iteration schema in uniformly convex hyperbolic spaces. Zbl 1307.47078 Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich 4 2013 Rate of metastability for Bruck’s iteration of pseudocontractive mappings in Hilbert space. Zbl 1348.47060 Körnlein, Daniel; Kohlenbach, Ulrich 4 2014 On the asymptotic behavior of odd operators. Zbl 1221.47094 Kohlenbach, Ulrich 3 2011 Proof interpretations and the computational content of proofs in mathematics. Zbl 1169.03360 Kohlenbach, Ulrich 3 2007 Gödel’s functional interpretation and its use in current mathematics. Zbl 1408.03035 Kohlenbach, Ulrich 3 2011 On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space. Zbl 1487.90638 Kohlenbach, Ulrich 3 2022 A note on Goodman’s theorem. Zbl 0988.03089 Kohlenbach, Ulrich 2 1999 A complexity analysis of functional interpretations. Zbl 1096.03071 Hernest, Mircea-Dan; Kohlenbach, Ulrich 2 2005 Bounds for a nonlinear ergodic theorem for Banach spaces. Zbl 07680136 Freund, Anton; Kohlenbach, Ulrich 2 2023 On proximal mappings with Young functions in uniformly convex Banach spaces. Zbl 1410.46005 Bačák, Miroslav; Kohlenbach, Ulrich 2 2018 A note on the \(\Pi_ 2^ 0\)-induction rule. Zbl 0831.03032 Kohlenbach, Ulrich 1 1995 Herbrand’s theorem and extractive proof theory. Zbl 1183.03062 Kohlenbach, Ulrich 1 2008 Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6–12, 2011. Zbl 1349.00097 1 2011 A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces. Zbl 1420.03140 Kohlenbach, U.; Nicolae, A. 1 2017 Classical provability of uniform versions and intuitionistic provability. Zbl 1367.03108 Fujiwara, Makoto; Kohlenbach, Ulrich 1 2015 Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. Zbl 1487.03065 Kohlenbach, Ulrich 1 2021 On modified Halpern and Tikhonov-Mann iterations. Zbl 1519.47077 Cheval, Horaţiu; Kohlenbach, Ulrich; Leuştean, Laurenţiu 5 2023 Bounds for a nonlinear ergodic theorem for Banach spaces. Zbl 07680136 Freund, Anton; Kohlenbach, Ulrich 2 2023 Quantitative translations for viscosity approximation methods in hyperbolic spaces. Zbl 1495.47106 Kohlenbach, Ulrich; Pinto, Pedro 5 2022 Quantitative analysis of a subgradient-type method for equilibrium problems. Zbl 1495.47110 Pischke, Nicholas; Kohlenbach, Ulrich 4 2022 On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space. Zbl 1487.90638 Kohlenbach, Ulrich 3 2022 The finitary content of sunny nonexpansive retractions. Zbl 07266076 Kohlenbach, Ulrich; Sipoş, Andrei 8 2021 A uniform betweenness property in metric spaces and its role in the quantitative analysis of the “lion-man” game. Zbl 1460.49029 Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana 8 2021 Quantitative results on the proximal point algorithm in uniformly convex Banach spaces. Zbl 1461.47024 Kohlenbach, Ulrich 7 2021 Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. Zbl 1487.03065 Kohlenbach, Ulrich 1 2021 Quantitative analysis of a Halpern-type proximal point algorithm for accretive operators in Banach spaces. Zbl 1487.47108 Kohlenbach, Ulrich 7 2020 Rates of convergence for iterative solutions of equations involving set-valued accretive operators. Zbl 1504.65118 Kohlenbach, Ulrich; Powell, Thomas 5 2020 Moduli of regularity and rates of convergence for Fejér monotone sequences. Zbl 1476.47063 Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana 12 2019 On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017 Kohlenbach, Ulrich 6 2019 A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space. Zbl 07027311 Kohlenbach, Ulrich 5 2019 Proof-theoretic methods in nonlinear analysis. Zbl 1445.03062 Kohlenbach, Ulrich 28 2018 Quantitative results on Fejér monotone sequences. Zbl 06814506 Kohlenbach, Ulrich; Leuştean, Laurenţiu; Nicolae, Adriana 16 2018 Interrelation between weak fragments of double negation shift and related principles. Zbl 1445.03006 Fujiwara, Makoto; Kohlenbach, Ulrich 7 2018 On proximal mappings with Young functions in uniformly convex Banach spaces. Zbl 1410.46005 Bačák, Miroslav; Kohlenbach, Ulrich 2 2018 Quantitative asymptotic regularity results for the composition of two mappings. Zbl 1477.47043 Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana 14 2017 A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces. Zbl 1420.03140 Kohlenbach, U.; Nicolae, A. 1 2017 On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces. Zbl 1358.47038 Kohlenbach, Ulrich 12 2016 Logical metatheorems for abstract spaces axiomatized in positive bounded logic. Zbl 1402.03078 Günzel, Daniel; Kohlenbach, Ulrich 7 2016 Effective asymptotic regularity for one-parameter nonexpansive semigroups. Zbl 1432.03116 Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki 4 2016 Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators. Zbl 1300.47070 Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki 15 2015 On the disjunctive Markov principle. Zbl 1330.03091 Kohlenbach, Ulrich 6 2015 Classical provability of uniform versions and intuitionistic provability. Zbl 1367.03108 Fujiwara, Makoto; Kohlenbach, Ulrich 1 2015 Fluctuations, effective learnability and metastability in analysis. Zbl 1319.03062 Kohlenbach, Ulrich; Safarik, Pavol 9 2014 Addendum to: “Effective metastability of Halpern iterates in CAT(0) spaces”. Zbl 1284.47044 Kohlenbach, Ulrich Wilhelm; Leuştean, Laurenţiu 9 2014 Quantitative image recovery theorems. Zbl 1307.47059 Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich 4 2014 Rate of metastability for Bruck’s iteration of pseudocontractive mappings in Hilbert space. Zbl 1348.47060 Körnlein, Daniel; Kohlenbach, Ulrich 4 2014 Bounds on Kuhfittig’s iteration schema in uniformly convex hyperbolic spaces. Zbl 1307.47078 Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich 4 2013 Effective metastability of Halpern iterates in \(CAT(0)\) spaces. Zbl 1270.47060 Kohlenbach, U.; Leuştean, L. 24 2012 On the computational content of convergence proofs via Banach limits. Zbl 1329.03094 Kohlenbach, U.; Leuştean, L. 17 2012 Effective metastability for modified Halpern iterations in CAT(0) spaces. Zbl 1475.47073 Schade, K.; Kohlenbach, U. 10 2012 A uniform quantitative form of sequential weak compactness and Baillon’s nonlinear ergodic theorem. Zbl 1245.03093 Kohlenbach, Ulrich 9 2012 Term extraction and Ramsey’s theorem for pairs. Zbl 1254.03112 Kohlenbach, Ulrich; Kreuzer, Alexander P. 6 2012 On quantitative versions of theorems due to F. E. Browder and R. Wittmann. Zbl 1223.03041 Kohlenbach, Ulrich 40 2011 Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces. Zbl 1316.47056 Körnlein, Daniel; Kohlenbach, Ulrich 8 2011 On the asymptotic behavior of odd operators. Zbl 1221.47094 Kohlenbach, Ulrich 3 2011 Gödel’s functional interpretation and its use in current mathematics. Zbl 1408.03035 Kohlenbach, Ulrich 3 2011 Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6–12, 2011. Zbl 1349.00097 1 2011 Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces. Zbl 1184.03057 Kohlenbach, Ulrich; Leuştean, Laurentiu 36 2010 On the computational content of the Bolzano-Weierstraß principle. Zbl 1209.03046 Safarik, Pavol; Kohlenbach, Ulrich 8 2010 On the logical analysis of proofs based on nonseparable Hilbert space theory. Zbl 1269.03056 Kohlenbach, Ulrich 5 2010 On Tao’s “finitary” infinite pigeonhole principle. Zbl 1188.03045 Gaspar, Jaime; Kohlenbach, Ulrich 5 2010 A quantitative mean ergodic theorem for uniformly convex Banach spaces. Zbl 1190.37005 Kohlenbach, U.; Leuştean, L. 19 2009 Ramsey’s theorem for pairs and provably recursive functions. Zbl 1221.03059 Kreuzer, Alexander; Kohlenbach, Ulrich 7 2009 Applied proof theory. Proof interpretations and their use in mathematics. Zbl 1158.03002 Kohlenbach, Ulrich 198 2008 General logical metatheorems for functional analysis. Zbl 1130.03036 Gerhardy, Philipp; Kohlenbach, Ulrich 43 2008 Effective uniform bounds from proofs in abstract functional analysis. Zbl 1154.46043 Kohlenbach, Ulrich 6 2008 Herbrand’s theorem and extractive proof theory. Zbl 1183.03062 Kohlenbach, Ulrich 1 2008 The approximate fixed point property in product spaces. Zbl 1118.47047 Kohlenbach, U.; Leuştean, L. 11 2007 Shoenfield is Gödel after Krivine. Zbl 1154.03036 Streicher, Thomas; Kohlenbach, Ulrich 9 2007 Proof interpretations and the computational content of proofs in mathematics. Zbl 1169.03360 Kohlenbach, Ulrich 3 2007 Strongly uniform bounds from semi-constructive proofs. Zbl 1099.03048 Gerhardy, Philipp; Kohlenbach, Ulrich 11 2006 A logical uniform boundedness principle for abstract metric and hyperbolic spaces. Zbl 1262.54020 Kohlenbach, Ulrich 6 2006 Some logical metatheorems with applications in functional analysis. Zbl 1079.03046 Kohlenbach, Ulrich 161 2005 Higher order reverse mathematics. Zbl 1097.03053 Kohlenbach, Ulrich 62 2005 Some computational aspects of metric fixed-point theory. Zbl 1086.47021 Kohlenbach, Ulrich 13 2005 Extracting Herbrand disjunctions by functional interpretation. Zbl 1081.03056 Gerhardy, Philipp; Kohlenbach, Ulrich 11 2005 A complexity analysis of functional interpretations. Zbl 1096.03071 Hernest, Mircea-Dan; Kohlenbach, Ulrich 2 2005 Bounds on iterations of asymptotically quasi-nonexpansive mappings. Zbl 1089.47053 Kohlenbach, Ulrich; Lambov, Branimir 9 2004 Proof mining: a systematic way of analyzing proofs in mathematics. Zbl 1079.03045 Kohlenbach, U.; Oliva, P. 23 2003 Mann iterates of directionally nonexpansive mappings in hyperbolic spaces. Zbl 1038.47037 Kohlenbach, Ulrich; Laurenţiu, Leuştean 20 2003 Uniform asymptotic regularity for Mann iterates. Zbl 1043.47045 Kohlenbach, Ulrich 18 2003 Proof mining in \(L_{1}\)-approximation. Zbl 1026.03040 Kohlenbach, Ulrich; Oliva, Paulo 7 2003 Foundational and mathematical uses of higher types. Zbl 1022.03044 Kohlenbach, Ulrich 28 2002 On uniform weak König’s lemma. Zbl 1001.03052 Kohlenbach, Ulrich 12 2002 On weak Markov’s principle. Zbl 1044.03046 Kohlenbach, Ulrich 6 2002 A quantitative version of a theorem due to Borwein-Reich-Stafrir. Zbl 1001.47035 Kohlenbach, Ulrich 17 2001 A note on Spector’s quantifier-free rule of extensionality. Zbl 0980.03058 Kohlenbach, Ulrich 9 2001 On the computational content of the Krasnoselski and Ishikawa fixed point theorems. Zbl 0985.03048 Kohlenbach, Ulrich 8 2001 Things that can and things that cannot be done in PRA. Zbl 0958.03039 Kohlenbach, Ulrich 10 2000 On the no-counterexample interpretation. Zbl 0960.03047 Kohlenbach, Ulrich 14 1999 The use of a logical principle of uniform boundedness in analysis. Zbl 0954.03065 Kohlenbach, Ulrich 4 1999 A note on Goodman’s theorem. Zbl 0988.03089 Kohlenbach, Ulrich 2 1999 Arithmetizing proofs in analysis. Zbl 0919.03046 Kohlenbach, Ulrich 11 1998 Elimination of Skolem functions for monotone formulas in analysis. Zbl 0916.03040 Kohlenbach, Ulrich 9 1998 Relative constructivity. Zbl 0928.03065 Kohlenbach, Ulrich 9 1998 On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness. Zbl 0945.03088 Kohlenbach, Ulrich 5 1998 Proof theory and computational analysis. Zbl 0917.68196 Kohlenbach, Ulrich 4 1997 Analysing proofs in analysis. Zbl 0881.03032 Kohlenbach, Ulrich 28 1996 Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Zbl 0882.03050 Kohlenbach, Ulrich 20 1996 A note on the \(\Pi_ 2^ 0\)-induction rule. Zbl 0831.03032 Kohlenbach, Ulrich 1 1995 Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin’s proof for Chebycheff approximation. Zbl 0795.03086 Kohlenbach, Ulrich 27 1993 New effective moduli of uniqueness and uniform a priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory. Zbl 0795.41020 Kohlenbach, Ulrich 8 1993 Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization. Zbl 0781.03051 Kohlenbach, Ulrich 23 1992 Pointwise hereditary majorization and some applications. Zbl 0729.03031 Kohlenbach, Ulrich 14 1992 Remarks on Herbrand normal forms and Herbrand realizations. Zbl 0742.03021 Kohlenbach, Ulrich 6 1992 Theorie der majorisierbaren und stetigen Funktionale und ihre Anwendung bei der Extraktion von Schranken aus inkonstruktiven Beweisen: effektive Eindeutigkeitsmodule bei besten Approximationen aus ineffektiven Eindeutigkeitsbeweisen. Zbl 0744.03056 Kohlenbach, Ulrich Wilhelm 10 1990 all cited Publications top 5 cited Publications all top 5 Cited by 406 Authors 62 Kohlenbach, Ulrich Wilhelm 28 Sanders, Sam 20 Leuştean, Laurenţiu 16 Nicolae, Adriana 15 Fujiwara, Makoto 15 Sipoş, Andrei 13 Oliva, Paulo 9 Ferreira, Fernando 9 Fukhar-Ud-Din, Hafiz 9 Pinto, Pedro 8 Brattka, Vasco 8 Kreuzer, Alexander P. 7 Avigad, Jeremy 7 Espínola García, Rafael 7 Hetzl, Stefan 6 Dashputre, Samir 6 Dinis, Bruno 6 Ishihara, Hajime 6 Khan, Muhammad Aqeel Ahmad 6 López Acedo, Genaro 6 Nemoto, Takako 6 Normann, Dag 6 Van den Berg, Benno 5 Gaspar, Jaime 5 Gerhardy, Philipp 5 Kalsoom, Amna 5 Khan, Safeer Hussain 5 Phuengrattana, Withun 5 Pischke, Nicholas 5 Safarik, Pavol 5 Shukla, Rahul 5 Towsner, Henry 4 Aggarwal, Sajan 4 Berardi, Stefano 4 Briseid, Eyvind Martol 4 Chuadchawna, Preeyalak 4 Dorais, François Gilbert 4 Farajzadeh, Ali P. 4 Fernández-León, Aurora 4 Hernest, Mircea-Dan 4 Hirst, Jeffry Lynn 4 Kaewcharoen, Anchalee 4 Kawai, Tatsuji 4 Kim, Jong Kyu 4 Kirk, William Arthur 4 Koutsoukou-Argyraki, Angeliki 4 Riba, Colin 4 Şahin, Aynur 4 Schuster, Peter Michael 4 Shahzad, Naseer 4 Uddin, Izhar 3 Abbas, Mujahid 3 Ariza-Ruiz, David 3 Basarir, Metin 3 Berger, Josef 3 Berger, Ulrich 3 Bridges, Douglas Suth 3 Cominetti, Roberto 3 Ferreira, Gilda 3 Gherardi, Guido 3 Gunduz, Birol 3 Hussain, Nawab 3 Khan, Abdul Rahim 3 Körnlein, Daniel 3 Kurahashi, Taishi 3 Leitsch, Alexander 3 Panicker, Rekha 3 Pant, Rajendra 3 Panyanak, Bancha 3 Piątek, Bożena 3 Postolache, Mihai 3 Rathjen, Michael 3 Reich, Simeon 3 Schwichtenberg, Helmut 3 Steila, Silvia 3 Suanoom, Cholatis 3 Wiesnet, Franziskus 3 Ziegler, Martin 2 Abkar, Ali 2 Afshari, Bahareh 2 Ahmad, Junaid 2 Akbulut, Sezgin 2 Alghamdi, Maryam A. 2 Ali, Javid 2 Atalan, Yunus 2 Bačák, Miroslav 2 Bantaojai, Thanatporn 2 Bargetz, Christian 2 Bauschke, Heinz H. 2 Bërdëllima, Arian 2 Buss, Samuel R. 2 Cegielski, Andrzej 2 Chandok, Sumit 2 Chang, Shih-Sen 2 Cheval, Horaţiu 2 Chugh, Renu 2 Cui, Yunan 2 Cuntavepanit, Asawathep 2 de la Sen, Manuel 2 Diener, Hannes ...and 306 more Authors all top 5 Cited in 116 Serials 48 Annals of Pure and Applied Logic 33 The Journal of Symbolic Logic 21 Fixed Point Theory and Applications 20 Journal of Mathematical Analysis and Applications 20 Archive for Mathematical Logic 18 Mathematical Logic Quarterly (MLQ) 12 Numerical Functional Analysis and Optimization 9 Notre Dame Journal of Formal Logic 9 The Bulletin of Symbolic Logic 7 Advances in Mathematics 7 Logical Methods in Computer Science 6 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 6 Journal of Fixed Point Theory and Applications 6 Journal of Nonlinear Science and Applications 6 Journal of Function Spaces 5 Israel Journal of Mathematics 5 Transactions of the American Mathematical Society 5 Filomat 5 Journal of Convex Analysis 5 Journal of Inequalities and Applications 5 Optimization Letters 5 Computability 4 Journal of Optimization Theory and Applications 4 Studia Logica 4 Ergodic Theory and Dynamical Systems 4 Indagationes Mathematicae. New Series 4 Nonlinear Functional Analysis and Applications 4 Thai Journal of Mathematics 4 Oberwolfach Reports 3 Applied Mathematics and Computation 3 Pacific Journal of Mathematics 3 Results in Mathematics 3 MSCS. Mathematical Structures in Computer Science 3 Numerical Algorithms 3 SIAM Journal on Optimization 3 Abstract and Applied Analysis 3 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 3 Communications in Contemporary Mathematics 3 Journal of Mathematical Logic 3 The Journal of Logic and Algebraic Programming 3 The Review of Symbolic Logic 2 Computers & Mathematics with Applications 2 Demonstratio Mathematica 2 International Journal of Mathematics and Mathematical Sciences 2 Monatshefte für Mathematik 2 Rendiconti del Circolo Matemàtico di Palermo. Serie II 2 Synthese 2 Theoretical Computer Science 2 Optimization 2 Journal of Complexity 2 Information and Computation 2 Historia Mathematica 2 Computational Optimization and Applications 2 The Journal of Analysis 2 Documenta Mathematica 2 Optimization Methods & Software 2 Foundations of Computational Mathematics 2 Journal of Logic and Analysis 2 Applied General Topology 2 Bulletin of Mathematical Sciences 2 Mathematical Sciences 2 Journal of Mathematics 2 Korean Journal of Mathematics 2 Bollettino dell’Unione Matematica Italiana 1 International Journal of Theoretical Physics 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Mathematics of Computation 1 Bulletin of the London Mathematical Society 1 Fuzzy Sets and Systems 1 Mathematische Nachrichten 1 Mathematics of Operations Research 1 Mathematische Zeitschrift 1 Memoirs of the American Mathematical Society 1 Proceedings of the American Mathematical Society 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Quaestiones Mathematicae 1 Tôhoku Mathematical Journal. Second Series 1 Topology and its Applications 1 Zeitschrift für Analysis und ihre Anwendungen 1 Journal of the Nigerian Mathematical Society 1 Journal of Automated Reasoning 1 Mathematica Bohemica 1 Journal of Global Optimization 1 Bulletin of the American Mathematical Society. New Series 1 Mathematical Programming. Series A. Series B 1 Topological Methods in Nonlinear Analysis 1 Computational and Applied Mathematics 1 Boletín de la Sociedad Matemática Mexicana. Third Series 1 Journal of Applied Analysis 1 Theory of Computing Systems 1 Journal of the European Mathematical Society (JEMS) 1 Communications of the Korean Mathematical Society 1 Journal of the Korean Society of Mathematical Education. Series B. The Pure and Applied Mathematics 1 Journal of Applied Mathematics 1 Portugaliae Mathematica. Nova Série 1 Journal of Applied Mathematics and Computing 1 Journal of Industrial and Management Optimization 1 Logica Universalis 1 European Journal of Pure and Applied Mathematics 1 Nonlinear Analysis. Hybrid Systems ...and 16 more Serials all top 5 Cited in 36 Fields 285 Mathematical logic and foundations (03-XX) 185 Operator theory (47-XX) 112 General topology (54-XX) 45 Computer science (68-XX) 23 Functional analysis (46-XX) 21 Numerical analysis (65-XX) 20 Operations research, mathematical programming (90-XX) 15 Differential geometry (53-XX) 12 General and overarching topics; collections (00-XX) 11 Combinatorics (05-XX) 11 Calculus of variations and optimal control; optimization (49-XX) 10 Real functions (26-XX) 8 Approximations and expansions (41-XX) 7 Dynamical systems and ergodic theory (37-XX) 4 History and biography (01-XX) 4 Algebraic topology (55-XX) 3 Field theory and polynomials (12-XX) 3 Commutative algebra (13-XX) 3 Category theory; homological algebra (18-XX) 3 Sequences, series, summability (40-XX) 3 Global analysis, analysis on manifolds (58-XX) 3 Probability theory and stochastic processes (60-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Group theory and generalizations (20-XX) 2 Ordinary differential equations (34-XX) 2 Difference and functional equations (39-XX) 2 Information and communication theory, circuits (94-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Topological groups, Lie groups (22-XX) 1 Partial differential equations (35-XX) 1 Abstract harmonic analysis (43-XX) 1 Convex and discrete geometry (52-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.