Follow
Ulrich Kohlenbach
Ulrich Kohlenbach
TU Darmstadt, Germany
Verified email at mathematik.tu-darmstadt.de
Title
Cited by
Cited by
Year
Applied proof theory: proof interpretations and their use in mathematics
U Kohlenbach
Springer Science & Business Media, 2008
5632008
Some logical metatheorems with applications in functional analysis
U Kohlenbach
Transactions of the American Mathematical Society 357 (1), 89-128, 2005
3902005
Analysing proofs in analysis
U Kohlenbach
na, 1993
1211993
Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
U Kohlenbach
Annals of Pure and Applied Logic 64 (1), 27-94, 1993
1201993
Higher order reverse mathematics
U Kohlenbach
Reverse Mathematics 2001, 281-295, 2005
1132005
Proof mining: a systematic way of analyzing proofs in mathematics
U Kohlenbach, P Oliva
Труды Математического института имени ВА Стеклова 242 (0), 147-175, 2003
1042003
General logical metatheorems for functional analysis
P Gerhardy, U Kohlenbach
Transactions of the American Mathematical Society 360 (5), 2615-2660, 2008
982008
Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization
U Kohlenbach
The Journal of Symbolic Logic 57 (4), 1239-1273, 1992
951992
An arithmetical hierarchy of the law of excluded middle and related principles
Y Akama, S Berardi, S Hayashi, U Kohlenbach
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
872004
Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
U Kohlenbach, L Leuştean
Journal of the European Mathematical Society 12 (1), 71-92, 2009
812009
A quantitative version of a theorem due to Borwein-Reich-Shafrir
U Kohlenbach
Taylor & Francis Group 22 (5-6), 641-656, 2001
782001
Mann iterates of directionally nonexpansive mappings in hyperbolic spaces
U Kohlenbach, L Leustean
Abstract and Applied Analysis 2003, 449-477, 2003
772003
On quantitative versions of theorems due to FE Browder and R. Wittmann
U Kohlenbach
Advances in Mathematics 226 (3), 2764-2795, 2011
732011
Foundational and mathematical uses of higher types
U Kohlenbach
Reflections on the Foundations of Mathematics: Essay in Honor of Solomon …, 2002
732002
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
U Kohlenbach
Archive for Mathematical Logic 36 (1), 31-71, 1996
731996
Proof-theoretic methods in nonlinear analysis
U Kohlenbach
Proceedings of the International Congress of Mathematicians: Rio de Janeiro …, 2018
652018
Uniform asymptotic regularity for Mann iterates
U Kohlenbach
Journal of Mathematical Analysis and Applications 279 (2), 531-544, 2003
652003
Effective metastability of Halpern iterates in CAT (0) spaces
U Kohlenbach, L Leuştean
Advances in Mathematics 231 (5), 2526-2556, 2012
602012
On the no-counterexample interpretation
U Kohlenbach
The Journal of Symbolic Logic 64 (4), 1491-1511, 1999
591999
Some computational aspects of metric fixed-point theory
U Kohlenbach
Nonlinear Analysis: Theory, Methods & Applications 61 (5), 823-837, 2005
572005
The system can't perform the operation now. Try again later.
Articles 1–20