# Ulrich Kohlenbach

#7,297

Most Influential Person Now

German mathematician

## Ulrich Kohlenbach's AcademicInfluence.com Rankings

Ulrich Kohlenbachmathematics Degrees

Mathematics

#807

World Rank

#1447

Historical Rank

Measure Theory

#2820

World Rank

#3358

Historical Rank

## Download Badge

Mathematics

## Ulrich Kohlenbach's Degrees

- PhD Mathematics University of Konstanz

## Why Is Ulrich Kohlenbach Influential?

(Suggest an Edit or Addition)According to Wikipedia, Ulrich Wilhelm Kohlenbach is a German mathematician and professor of algebra and logic at the Technische Universität Darmstadt. His research interests lie in the field of proof mining. Kohlenbach was president of the German Association for Mathematical Logic and for Basic Research in the Exact Sciences from 2008 to 2012 and president of the Association for Symbolic Logic from 2016 to 2018.

## Ulrich Kohlenbach's Published Works

### Published Works

- Applied Proof Theory - Proof Interpretations and their Use in Mathematics (2008) (451)
- Some logical metatheorems with applications in functional analysis (2003) (306)
- General logical metatheorems for functional analysis (2005) (118)
- Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation (1993) (102)
- Analysing proofs in analysis (1996) (95)
- Proof Mining: A Systematic Way of Analysing Proofs in Mathematics (2002) (92)
- Foundational and Mathematical Uses of Higher Types (1999) (84)
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization (1992) (84)
- Higher Order Reverse Mathematics (2000) (80)
- An arithmetical hierarchy of the law of excluded middle and related principles (2004) (76)
- Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals (1996) (68)
- Mann iterates of directionally nonexpansive mappings in hyperbolic spaces (2002) (66)
- Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (2007) (65)
- A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR (2001) (61)
- On quantitative versions of theorems due to F.E. Browder and R. Wittmann (2011) (60)
- Uniform asymptotic regularity for Mann iterates (2002) (58)
- 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 (1993) (50)
- On the No-Counterexample Interpretation (1997) (49)
- PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS (2019) (47)
- Some computational aspects of metric fixed-point theory (2005) (43)
- Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings (2003) (42)
- Effective metastability of Halpern iterates in CAT(0) spaces (2011) (42)
- Pointwise hereditary majorization and some applications (1992) (40)
- Arithmetizing proofs in analysis (1998) (39)
- A quantitative mean ergodic theorem for uniformly convex Banach spaces (2008) (38)
- Proof theory and computational analysis (1997) (37)
- Shoenfield is Gödel after Krivine (2007) (36)
- Extracting Herbrand disjunctions by functional interpretation (2003) (35)
- On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems (2000) (33)
- Strongly uniform bounds from semi-constructive proofs (2004) (33)
- Proof mining in L1-approximation (2003) (33)
- On the computational content of convergence proofs via Banach limits (2012) (32)
- Recent Progress in Proof Mining in Nonlinear Analysis (2017) (32)
- Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators (2015) (31)
- On uniform weak König's lemma (2002) (31)
- The approximate fixed point property in product spaces (2005) (30)
- Relative constructivity (1998) (29)
- A complexity analysis of functional interpretations (2003) (29)
- On the quantitative asymptotic behavior of strongly nonexpansive mappings in banach and geodesic spaces (2016) (28)
- Elimination of Skolem functions for monotone formulas in analysis (1998) (25)
- Things that can and things that can’t be done in PRA (1998) (24)
- Things That Can and Things That Cannot Be Done in PRA (2000) (24)
- A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM (2012) (23)
- A note on Spector's quantifier-free rule of extensionality (2001) (22)
- Fluctuations, effective learnability and metastability in analysis (2014) (22)
- Effective Uniform Bounds from Proofs in Abstract Functional Analysis (2008) (22)
- On Tao's “finitary” infinite pigeonhole principle (2010) (22)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (2016) (21)
- Effective Bounds on Strong Unicity in L1-Approximation (2001) (20)
- A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces (2006) (20)
- A Polynomial Rate of Asymptotic Regularity for Compositions of Projections in Hilbert Space (2019) (20)
- Higher order reversemathematics (2016) (19)
- On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness (1997) (19)
- The Use of a Logical Principle of Uniform Boundedness in Analysis (1999) (18)
- Quantitative asymptotic regularity results for the composition of two mappings (2015) (18)
- Pillay's conjecture and its solution—a survey (2010) (17)
- Proof Interpretations and the Computational Content of Proofs in Mathematics (2007) (17)
- Gödel's Functional Interpretation and its Use in Current Mathematics* (2008) (16)
- Moduli of Regularity and Rates of Convergence for Fejér Monotone Sequences (2017) (16)
- Effective bounds from proofs in abstract functional analysis (2007) (16)
- Remarks on Herbrand normal forms and Herbrand realizations (1992) (15)
- Term extraction and Ramsey's theorem for pairs (2012) (15)
- Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces (2019) (15)
- The finitary content of sunny nonexpansive retractions (2018) (15)
- Intuitionistic Choice and Restricted Classical Logic (2000) (14)
- On the computational content of the Bolzano‐Weierstraß Principle (2010) (13)
- On Weak Markov's Principle (2001) (12)
- Rate of Metastability for Bruck'S Iteration of Pseudocontractive Mappings in Hilbert Space (2014) (12)
- On proximal mappings with Young functions in uniformly convex Banach spaces (2017) (12)
- On the logical analysis of proofs based on nonseparable Hilbert space theory (2010) (12)
- Ramsey's Theorem for Pairs and Provably Recursive Functions (2009) (11)
- On the Uniform Weak König’s Lemma (1999) (11)
- Proof mining in L 1-approximation (2001) (11)
- Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces (2011) (11)
- Effective metastability for modified Halpern iterations in CAT(0) spaces (2012) (10)
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (2018) (10)
- Quantitative results on the Proximal Point Algorithm in uniformly convex Banach spaces (2019) (10)
- On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness (2019) (10)
- Effective asymptotic regularity for one-parameter nonexpansive semigroups (2016) (10)
- The Computational Strength of Extensions of Weak König’s Lemma (1998) (9)
- Quantitative image recovery theorems (2014) (9)
- Effective Uniform Bounds on the Krasnoselski-Mann Iteration (2000) (9)
- On the Disjunctive Markov Principle (2015) (8)
- On Modified Halpern and Tikhonov–Mann Iterations (2022) (8)
- Rates of convergence for iterative solutions of equations involving set-valued accretive operators (2019) (7)
- Addendum to “Effective metastability of Halpern iterates in CAT(0) spaces” [Adv. Math. 231 (5) (2012) 2526–2556] (2014) (7)
- Quantitative translations for viscosity approximation methods in hyperbolic spaces (2021) (7)
- Bounds on Kuhfittig’s iteration schema in uniformly convex hyperbolic spaces (2013) (7)
- On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space (2021) (6)
- On the asymptotic behavior of odd operators (2011) (6)
- A Note on Goodman's Theorem (1999) (6)
- Gödel functional interpretation and weak compactness (2012) (6)
- A uniform betweenness property in metric spaces and its role in the quantitative analysis of the “Lion-Man” game (2018) (6)
- Kreisel ’ s ‘ shift of emphasis ’ and contemporary proof mining (2018) (5)
- Classical provability of uniform versions and intuitionistic provability (2015) (4)
- A Proof-Theoretic Bound Extraction Theorem for CAT ( κ ) -Spaces (2017) (4)
- Bounds for a nonlinear ergodic theorem for Banach spaces (2021) (3)
- A note on the Π 02 – induction rule ∗ (1995) (3)
- A quantitative analysis of the "Lion-Man" game (2018) (3)
- Quantitative analysis of a subgradient-type method for equilibrium problems (2020) (2)
- A quantitative mean ergodic theorem for uniformly convex Banach spaces – ERRATUM (2008) (2)
- Mathematical Logic: Proof Theory, Constructive Mathematics (2008) (2)
- Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness (2019) (2)
- University of Illinois at Chicago, Chicago, IL, June 1–4, 2003 (2004) (2)
- A Note on Spector’s Quantifier-Free Rule of Extensionality (1999) (2)
- A note on theΠ20-induction rule (1995) (2)
- A Proof-Theoretic Bound Extraction Theorem for CAT$$(\kappa )$$(κ)-Spaces (2017) (1)
- Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, proceedings (2013) (1)
- Herbrand's theorem and extractive proof theory (2008) (1)
- On the Uniform Weak K?nig's Lemma (1999) (1)
- Correction to: Quantitative analysis of a subgradient-type method for equilibrium problems (2021) (1)
- A complexity analysis of functional interpretations 1 (2004) (1)
- Proof theory and non-smooth analysis (2023) (1)
- A note on the monotone functional interpretation (2011) (1)
- Logic, Language, Information and Computation (Lecture Notes in Computer Science 8071) (2013) (1)
- Logic, language, information, and computation : 21th International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014 proceedings (2014) (0)
- XV Latin American Symposium on Mathematical Logic (Slalm 2012) (2013) (0)
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness (2021) (0)
- Approximate fixed points of nonexpansive functions in product spaces (2005) (0)
- Recent uses of proof theory in nonlinear analysis and geodesic geometry (abstract) (2007) (0)
- Proceedings Sixth International Workshop on Classical Logic and Computation: Preface (2016) (0)
- Proceedings Sixth International Workshop on Classical Logic and Computation, CL&C 2016, Porto, Portugal , 23th June 2016 (2016) (0)
- Effective metastability for modified Halpern iterations in CAT(0) spaces (2012) (0)
- Applied Foundations : Proof Mining in Mathematics (2012) (0)
- R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces (2022) (0)
- A Polynomial Rate of Asymptotic Regularity for Compositions of Projections in Hilbert Space (2018) (0)
- On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space (2021) (0)
- Mints Grigori, Tupailo Sergei, and Buchholz Wilfried. Epsilon substitution method for elementary analysis. Archive for mathematical logic , vol. 35 (1996), pp. 103–130. (2000) (0)
- New Orleans Marriott and Sheraton New Orleans Hotels New Orleans, LA January 8–9, 2011 (2012) (0)
- FA ] 2 6 O ct 2 00 5 Theapproximate xed pointproperty in product spaces (2022) (0)
- Kurt Gödel and the Foundations of Mathematics: Gödel's Functional Interpretation and Its Use in Current Mathematics (2011) (0)
- 21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014) (2015) (0)
- Logic Colloquium 2007: Introduction (2010) (0)
- A note on the Π 0 2 – induction rule ∗ (2008) (0)
- 20th workshop on logic, language, information and computation - WoLLIC 2013 (2017) (0)
- Proof mining: application of proof theory to analysis (2005) (0)
- A note on the $\Pi^0_2$ -induction rule (1995) (0)
- New Orleans Marriott and Sheraton New Orleans New Orleans, Louisiana January 7–8, 2007 (2007) (0)
- The influence of the work of R.E. Bruck on the development of proof mining (2021) (0)
- Generalized metatheorems on the extractability of uniform bounds in functional analysis (2005) (0)
- Proceedings Seventh International Workshop on Classical Logic and Computation (2016) (0)
- L O ] 2 3 A ug 2 01 5 Quantitative results on Fejér monotone sequences (2015) (0)
- Types in Proof Mining (2013) (0)
- Moduli of regularity and rates of convergence for Fejér monotone sequences (2019) (0)
- On the quantitative asymptotic behavior of strongly nonexpansive mappings in banach and geodesic spaces (2016) (0)
- Proceedings of the 20th International Workshop on Logic, Language, Information, and Computation - Volume 8071 (2013) (0)
- Cardinal structure under AD (2010) (0)
- Reverse mathematics in higher types (2005) (0)
- Analyzing proofs based on weak sequential compactness: Invited Presentation at the Third International Workshop on Classical Logic and Computation (2011) (0)
- Proof Mining in Functional Analysis (2005) (0)
- DECORATED LINEAR ORDER TYPES AND THE THEORY OF CONCATENATION (2014) (0)
- On the Disjunctive Markov Principle (2015) (0)
- 21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014 (2017) (0)
- Mathematical Logic : Proof theory , Constructive Mathematics Organised (2015) (0)
- Belegradek, O., Verbovskiy, V. and Wagner, FO, Coset (2003) (0)
- Remarks on Herbrand Analyses (2012) (0)
- Speakers and Titles (2010) (0)

This paper list is powered by the following services:

## Other Resources About Ulrich Kohlenbach

## What Schools Are Affiliated With Ulrich Kohlenbach?

Ulrich Kohlenbach is affiliated with the following schools: