Ulrich Kohlenbach

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 13

Top Topics

Quantitative Analysis

Top Venues

Ann. Pure Appl. Log.

Numer. Algorithms

J. Comput. Syst. Sci.

Publications

Horatiu Cheval, Ulrich Kohlenbach, Laurentiu Leustean
On Modified Halpern and Tikhonov-Mann Iterations. J. Optim. Theory Appl. 197 (1) (2023)
Nicholas Pischke, Ulrich Kohlenbach
Correction to: Quantitative analysis of a subgradient-type method for equilibrium problems. Numer. Algorithms 90 (1) (2022)
Nicholas Pischke, Ulrich Kohlenbach
Quantitative analysis of a subgradient-type method for equilibrium problems. Numer. Algorithms 90 (1) (2022)
Ulrich Kohlenbach
On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space. Optim. Lett. 16 (2) (2022)
Ulrich Kohlenbach
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. Arch. Math. Log. 60 (7) (2021)
Ulrich Kohlenbach, Thomas Powell
Rates of convergence for iterative solutions of equations involving set-valued accretive operators. Comput. Math. Appl. 80 (3) (2020)
Ulrich Kohlenbach
On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Comput. 8 (3-4) (2019)
Ulrich Kohlenbach
A Polynomial Rate of Asymptotic Regularity for Compositions of Projections in Hilbert Space. Found. Comput. Math. 19 (1) (2019)
Makoto Fujiwara, Ulrich Kohlenbach
Interrelation between Weak Fragments of double Negation Shift and Related Principles. J. Symb. Log. 83 (3) (2018)
Ulrich Kohlenbach
Recent Progress in Proof Mining in Nonlinear Analysis. FLAP 4 (10) (2017)
Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz
21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014. Inf. Comput. 255 (2017)
Ulrich Kohlenbach, Adriana Nicolae
A Proof-Theoretic Bound Extraction Theorem for CAT (κ) -Spaces. Stud Logica 105 (3) (2017)
Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz
20th workshop on logic, language, information and computation - WoLLIC 2013. J. Comput. Syst. Sci. 88 (2017)
Makoto Fujiwara, Ulrich Kohlenbach
Classical provability of uniform versions and intuitionistic provability. Math. Log. Q. 61 (3) (2015)
Ulrich Kohlenbach
On the Disjunctive Markov Principle. Stud Logica 103 (6) (2015)
Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz
). Log. J. IGPL 23 (5) (2015)
Ulrich Kohlenbach, Pavol Safarik
Fluctuations, effective learnability and metastability in analysis. Ann. Pure Appl. Log. 165 (1) (2014)
Klaus Ambos-Spies, Joan Bagaria, Enrique Casanovas, Ulrich Kohlenbach
Preface. Ann. Pure Appl. Log. 164 (12) (2013)
Ulrich Kohlenbach
Gödel functional interpretation and weak compactness. Ann. Pure Appl. Log. 163 (11) (2012)
Ulrich Kohlenbach, Alexander Kreuzer
Term extraction and Ramsey's theorem for pairs. J. Symb. Log. 77 (3) (2012)
Ulrich Kohlenbach
A note on the monotone functional interpretation. Math. Log. Q. 57 (6) (2011)
Pavol Safarik, Ulrich Kohlenbach
On the computational content of the Bolzano-Weierstraß Principle. Math. Log. Q. 56 (5) (2010)
Jaime Gaspar, Ulrich Kohlenbach
On Tao's "finitary" infinite pigeonhole principle. J. Symb. Log. 75 (1) (2010)
Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei S. Morozov
Preface. Ann. Pure Appl. Log. 159 (3) (2009)
Ulrich Kohlenbach, Alexander Kreuzer
Ramsey's Theorem for Pairs and Provably Recursive Functions. Notre Dame J. Formal Log. 50 (4) (2009)
Ulrich Kohlenbach
Proof Interpretations and the Computational Content of Proofs in Mathematics. Bull. EATCS 93 (2007)
Thomas Streicher, Ulrich Kohlenbach
Shoenfield is Gödel after Krivine. Math. Log. Q. 53 (2) (2007)
Ulrich Kohlenbach
A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces. Electron. Notes Theor. Comput. Sci. 165 (2006)
Philipp Gerhardy, Ulrich Kohlenbach
Strongly uniform bounds from semi-constructive proofs. Ann. Pure Appl. Log. 141 (1-2) (2006)
Mircea-Dan Hernest, Ulrich Kohlenbach
A complexity analysis of functional interpretations. Theor. Comput. Sci. 338 (1-3) (2005)
Philipp Gerhardy, Ulrich Kohlenbach
Extracting Herbrand disjunctions by functional interpretation. Arch. Math. Log. 44 (5) (2005)
Ulrich Kohlenbach
Proof Mining in Functional Analysis. CiE (2005)
Ulrich Kohlenbach, Laurentiu Leustean
Approximate fixed points of nonexpansive functions in product spaces. Mathematics, Algorithms, Proofs (2005)
Philipp Gerhardy, Ulrich Kohlenbach
Generalized metatheorems on the extractability of uniform bounds in functional analysis. Mathematics, Algorithms, Proofs (2005)
Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. LICS (2004)
Ulrich Kohlenbach, Paulo Oliva
-approximation. Ann. Pure Appl. Log. 121 (1) (2003)
Ulrich Kohlenbach
On Weak Markov's Principle. Math. Log. Q. 48 (S1) (2002)
Ulrich Kohlenbach
On uniform weak König's lemma. Ann. Pure Appl. Log. 114 (1-3) (2002)
Ulrich Kohlenbach
Intuitionistic Choice and Restricted Classical Logic. Math. Log. Q. 47 (4) (2001)
Ulrich Kohlenbach
A note on Spector's quantifier-free rule of extensionality. Arch. Math. Log. 40 (2) (2001)
Ulrich Kohlenbach
On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems. CCA (2000)
Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel
Preface. Ann. Pure Appl. Log. 104 (1-3) (2000)
Ulrich Kohlenbach
Things That Can and Things That Cannot Be Done in PRA. Ann. Pure Appl. Log. 102 (3) (2000)
Ulrich Kohlenbach
A Note on Goodman's Theorem. Stud Logica 63 (1) (1999)
Ulrich Kohlenbach
On The No-Counterexample Interpretation. J. Symb. Log. 64 (4) (1999)
Ulrich Kohlenbach
Relative Constructivity. J. Symb. Log. 63 (4) (1998)
Ulrich Kohlenbach
On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness. Ann. Pure Appl. Log. 95 (1-3) (1998)
Ulrich Kohlenbach
Elimination of Skolem functions for monotone formulas in analysis. Arch. Math. Log. 37 (5-6) (1998)
Ulrich Kohlenbach
Proof theory and computational analysis. Electron. Notes Theor. Comput. Sci. 13 (1998)
Ulrich Kohlenbach
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Arch. Math. Log. 36 (1) (1996)
Ulrich Kohlenbach
-induction rule. Arch. Math. Log. 34 (4) (1995)
Ulrich Kohlenbach
Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation. Ann. Pure Appl. Log. 64 (1) (1993)
Ulrich Kohlenbach
Remarks on Herbrand normal forms and Herbrand realizations. Arch. Math. Log. 31 (5) (1992)
Ulrich Kohlenbach
Effective Bounds from Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization. J. Symb. Log. 57 (4) (1992)
Ulrich Kohlenbach
Pointwise hereditary majorization and some applications. Arch. Math. Log. 31 (4) (1992)