| Applied proof theory: proof interpretations and their use in mathematics U Kohlenbach Springer Science & Business Media, 2008 | 564 | 2008 |
| Some logical metatheorems with applications in functional analysis U Kohlenbach Transactions of the American Mathematical Society 357 (1), 89-128, 2005 | 390 | 2005 |
| Analysing proofs in analysis U Kohlenbach na, 1993 | 121 | 1993 |
| 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 | 120 | 1993 |
| Higher order reverse mathematics U Kohlenbach Reverse Mathematics 2001, 281-295, 2005 | 113 | 2005 |
| Proof mining: a systematic way of analyzing proofs in mathematics U Kohlenbach, P Oliva Труды Математического института имени ВА Стеклова 242 (0), 147-175, 2003 | 104 | 2003 |
| General logical metatheorems for functional analysis P Gerhardy, U Kohlenbach Transactions of the American Mathematical Society 360 (5), 2615-2660, 2008 | 98 | 2008 |
| 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 | 95 | 1992 |
| 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 | 87 | 2004 |
| Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces U Kohlenbach, L Leuştean Journal of the European Mathematical Society 12 (1), 71-92, 2009 | 81 | 2009 |
| A quantitative version of a theorem due to Borwein-Reich-Shafrir U Kohlenbach Taylor & Francis Group 22 (5-6), 641-656, 2001 | 78 | 2001 |
| Mann iterates of directionally nonexpansive mappings in hyperbolic spaces U Kohlenbach, L Leustean Abstract and Applied Analysis 2003, 449-477, 2003 | 77 | 2003 |
| Foundational and mathematical uses of higher types U Kohlenbach Reflections on the Foundations of Mathematics: Essay in Honor of Solomon …, 2002 | 74 | 2002 |
| On quantitative versions of theorems due to FE Browder and R. Wittmann U Kohlenbach Advances in Mathematics 226 (3), 2764-2795, 2011 | 73 | 2011 |
| 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 | 73 | 1996 |
| Proof-theoretic methods in nonlinear analysis U Kohlenbach Proceedings of the International Congress of Mathematicians: Rio de Janeiro …, 2018 | 66 | 2018 |
| Uniform asymptotic regularity for Mann iterates U Kohlenbach Journal of Mathematical Analysis and Applications 279 (2), 531-544, 2003 | 65 | 2003 |
| Effective metastability of Halpern iterates in CAT (0) spaces U Kohlenbach, L Leuştean Advances in Mathematics 231 (5), 2526-2556, 2012 | 60 | 2012 |
| On the no-counterexample interpretation U Kohlenbach The Journal of Symbolic Logic 64 (4), 1491-1511, 1999 | 59 | 1999 |
| Some computational aspects of metric fixed-point theory U Kohlenbach Nonlinear Analysis: Theory, Methods & Applications 61 (5), 823-837, 2005 | 57 | 2005 |
