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: 101 Publications since 1990, including 2 Books and 2 Additional arXiv Preprints 17 Contributions as Editor Reviewing Activity: 8 Reviews Co-Authors: 39 Co-Authors with 62 Joint Publications 759 Co-Co-Authors all top 5 Co-Authors 54 single-authored 9 Leuştean, Laurenţiu 6 Buss, Samuel R. 6 De Queiroz, Ruy José Guerra Barretto 5 Nicolae, Adriana 5 Rathjen, Michael 3 Barceló, Pablo 3 Gerhardy, Philipp 3 Iemhoff, Rosalie 3 Libkin, Leonid O. 3 López Acedo, Genaro 3 Pischke, Nicholas 2 Delon, Françoise 2 Freund, Anton 2 Fujiwara, Makoto 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 Safarik, Pavol 2 Stephan, Frank 1 Bačák, Miroslav 1 Berardi, Stefano 1 Butz, Carsten 1 Cheval, Horaţiu 1 Findling, Richard 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) 6 Oberwolfach Reports 4 Advances in Mathematics 4 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 4 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 Philosophia Mathematica. Series III 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 Set-Valued and Variational Analysis 1 Computability 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) 1 Springer Monographs in Mathematics all top 5 Fields 107 Mathematical logic and foundations (03-XX) 53 Operator theory (47-XX) 18 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 Numerical analysis (65-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) 1 History and biography (01-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 93 Publications have been cited 1,477 times in 516 Documents Cited by ▼ Year ▼ Applied proof theory. Proof interpretations and their use in mathematics. Zbl 1158.03002 Kohlenbach, Ulrich 215 2008 Some logical metatheorems with applications in functional analysis. Zbl 1079.03046 Kohlenbach, Ulrich 180 2005 Higher order reverse mathematics. Zbl 1097.03053 Kohlenbach, Ulrich 74 2005 General logical metatheorems for functional analysis. Zbl 1130.03036 Gerhardy, Philipp; Kohlenbach, Ulrich 45 2008 On quantitative versions of theorems due to F. E. Browder and R. Wittmann. Zbl 1223.03041 Kohlenbach, Ulrich 43 2011 Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces. Zbl 1184.03057 Kohlenbach, Ulrich; Leuştean, Laurentiu 40 2010 Proof-theoretic methods in nonlinear analysis. Zbl 1445.03062 Kohlenbach, Ulrich 39 2018 Foundational and mathematical uses of higher types. Zbl 1022.03044 Kohlenbach, Ulrich 36 2002 Analysing proofs in analysis. Zbl 0881.03032 Kohlenbach, Ulrich 31 1996 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. 27 2012 Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization. Zbl 0781.03051 Kohlenbach, Ulrich 25 1992 Proof mining: a systematic way of analyzing proofs in mathematics. Zbl 1079.03045 Kohlenbach, U.; Oliva, P. 24 2003 On the computational content of convergence proofs via Banach limits. Zbl 1329.03094 Kohlenbach, U.; Leuştean, L. 21 2012 Mann iterates of directionally nonexpansive mappings in hyperbolic spaces. Zbl 1038.47037 Kohlenbach, Ulrich; Laurenţiu, Leuştean 21 2003 Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Zbl 0882.03050 Kohlenbach, Ulrich 20 1996 A quantitative mean ergodic theorem for uniformly convex Banach spaces. Zbl 1190.37005 Kohlenbach, U.; Leuştean, L. 20 2009 Uniform asymptotic regularity for Mann iterates. Zbl 1043.47045 Kohlenbach, Ulrich 18 2003 Quantitative results on Fejér monotone sequences. Zbl 06814506 Kohlenbach, Ulrich; Leuştean, Laurenţiu; Nicolae, Adriana 18 2018 A quantitative version of a theorem due to Borwein-Reich-Stafrir. Zbl 1001.47035 Kohlenbach, Ulrich 17 2001 Pointwise hereditary majorization and some applications. Zbl 0729.03031 Kohlenbach, Ulrich 16 1992 Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators. Zbl 1300.47070 Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki 16 2015 On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces. Zbl 1358.47038 Kohlenbach, Ulrich 15 2016 Quantitative analysis of a Halpern-type proximal point algorithm for accretive operators in Banach spaces. Zbl 1487.47108 Kohlenbach, Ulrich 14 2020 On the no-counterexample interpretation. Zbl 0960.03047 Kohlenbach, Ulrich 14 1999 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 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 finitary content of sunny nonexpansive retractions. Zbl 07266076 Kohlenbach, Ulrich; Sipoş, Andrei 12 2021 On uniform weak König’s lemma. Zbl 1001.03052 Kohlenbach, Ulrich 12 2002 Arithmetizing proofs in analysis. Zbl 0919.03046 Kohlenbach, Ulrich 12 1998 Extracting Herbrand disjunctions by functional interpretation. Zbl 1081.03056 Gerhardy, Philipp; Kohlenbach, Ulrich 12 2005 The approximate fixed point property in product spaces. Zbl 1118.47047 Kohlenbach, U.; Leuştean, L. 11 2007 Strongly uniform bounds from semi-constructive proofs. Zbl 1099.03048 Gerhardy, Philipp; Kohlenbach, Ulrich 11 2006 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 A uniform quantitative form of sequential weak compactness and Baillon’s nonlinear ergodic theorem. Zbl 1245.03093 Kohlenbach, Ulrich 10 2012 Things that can and things that cannot be done in PRA. Zbl 0958.03039 Kohlenbach, Ulrich 10 2000 Shoenfield is Gödel after Krivine. Zbl 1154.03036 Streicher, Thomas; Kohlenbach, Ulrich 10 2007 Effective metastability for modified Halpern iterations in CAT(0) spaces. Zbl 1475.47073 Schade, K.; Kohlenbach, U. 10 2012 A note on Spector’s quantifier-free rule of extensionality. Zbl 0980.03058 Kohlenbach, Ulrich 9 2001 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 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 Logical metatheorems for abstract spaces axiomatized in positive bounded logic. Zbl 1402.03078 Günzel, Daniel; Kohlenbach, Ulrich 9 2016 Addendum to: “Effective metastability of Halpern iterates in CAT(0) spaces”. Zbl 1284.47044 Kohlenbach, Ulrich Wilhelm; Leuştean, Laurenţiu 9 2014 Quantitative results on the proximal point algorithm in uniformly convex Banach spaces. Zbl 1461.47024 Kohlenbach, Ulrich 9 2021 A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space. Zbl 07027311 Kohlenbach, Ulrich 8 2019 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 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 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 On the logical analysis of proofs based on nonseparable Hilbert space theory. Zbl 1269.03056 Kohlenbach, Ulrich 7 2010 Proof mining in \(L_{1}\)-approximation. Zbl 1026.03040 Kohlenbach, Ulrich; Oliva, Paulo 7 2003 Interrelation between weak fragments of double negation shift and related principles. Zbl 1445.03006 Fujiwara, Makoto; Kohlenbach, Ulrich 7 2018 Ramsey’s theorem for pairs and provably recursive functions. Zbl 1221.03059 Kreuzer, Alexander; Kohlenbach, Ulrich 7 2009 A logical uniform boundedness principle for abstract metric and hyperbolic spaces. Zbl 1262.54020 Kohlenbach, Ulrich 7 2006 On modified Halpern and Tikhonov-Mann iterations. Zbl 1519.47077 Cheval, Horaţiu; Kohlenbach, Ulrich; Leuştean, Laurenţiu 7 2023 Remarks on Herbrand normal forms and Herbrand realizations. Zbl 0742.03021 Kohlenbach, Ulrich 6 1992 Rates of convergence for iterative solutions of equations involving set-valued accretive operators. Zbl 1504.65118 Kohlenbach, Ulrich; Powell, Thomas 6 2020 On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017 Kohlenbach, Ulrich 6 2019 On Tao’s “finitary” infinite pigeonhole principle. Zbl 1188.03045 Gaspar, Jaime; Kohlenbach, Ulrich 6 2010 On weak Markov’s principle. Zbl 1044.03046 Kohlenbach, Ulrich 6 2002 Term extraction and Ramsey’s theorem for pairs. Zbl 1254.03112 Kohlenbach, Ulrich; Kreuzer, Alexander P. 6 2012 Quantitative translations for viscosity approximation methods in hyperbolic spaces. Zbl 1495.47106 Kohlenbach, Ulrich; Pinto, Pedro 6 2022 Effective uniform bounds from proofs in abstract functional analysis. Zbl 1154.46043 Kohlenbach, Ulrich 6 2008 On the disjunctive Markov principle. Zbl 1330.03091 Kohlenbach, Ulrich 6 2015 On proximal mappings with Young functions in uniformly convex Banach spaces. Zbl 1410.46005 Bačák, Miroslav; Kohlenbach, Ulrich 5 2018 On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness. Zbl 0945.03088 Kohlenbach, Ulrich 5 1998 Rate of metastability for Bruck’s iteration of pseudocontractive mappings in Hilbert space. Zbl 1348.47060 Körnlein, Daniel; Kohlenbach, Ulrich 5 2014 On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space. Zbl 1487.90638 Kohlenbach, Ulrich 5 2022 Effective asymptotic regularity for one-parameter nonexpansive semigroups. Zbl 1432.03116 Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki 4 2016 Proof theory and computational analysis. Zbl 0917.68196 Kohlenbach, Ulrich 4 1997 The use of a logical principle of uniform boundedness in analysis. Zbl 0954.03065 Kohlenbach, Ulrich 4 1999 A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces. Zbl 1420.03140 Kohlenbach, U.; Nicolae, A. 4 2017 Bounds on Kuhfittig’s iteration schema in uniformly convex hyperbolic spaces. Zbl 1307.47078 Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich 4 2013 Quantitative image recovery theorems. Zbl 1307.47059 Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich 4 2014 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 Proof interpretations and the computational content of proofs in mathematics. Zbl 1169.03360 Kohlenbach, Ulrich 3 2007 Quantitative analysis of a subgradient-type method for equilibrium problems. Zbl 1495.47110 Pischke, Nicholas; 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 Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness. Zbl 1535.03029 Kohlenbach, Ulrich 2 2020 A note on the \(\Pi_ 2^ 0\)-induction rule. Zbl 0831.03032 Kohlenbach, Ulrich 1 1995 Classical provability of uniform versions and intuitionistic provability. Zbl 1367.03108 Fujiwara, Makoto; Kohlenbach, Ulrich 1 2015 Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6–12, 2011. Zbl 1349.00097 1 2011 Logic, language, information, and computation. 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1–4, 2014. Proceedings. Zbl 1295.03005 1 2014 Herbrand’s theorem and extractive proof theory. Zbl 1183.03062 Kohlenbach, Ulrich 1 2008 Bounds for a nonlinear ergodic theorem for Banach spaces. Zbl 07680136 Freund, Anton; Kohlenbach, Ulrich 1 2023 Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. Zbl 1487.03065 Kohlenbach, Ulrich 1 2021 Effective rates for iterations involving Bregman strongly nonexpansive operators. Zbl 07965977 Pischke, Nicholas; Kohlenbach, Ulrich 1 2024 Effective rates for iterations involving Bregman strongly nonexpansive operators. Zbl 07965977 Pischke, Nicholas; Kohlenbach, Ulrich 1 2024 On modified Halpern and Tikhonov-Mann iterations. Zbl 1519.47077 Cheval, Horaţiu; Kohlenbach, Ulrich; Leuştean, Laurenţiu 7 2023 Bounds for a nonlinear ergodic theorem for Banach spaces. Zbl 07680136 Freund, Anton; Kohlenbach, Ulrich 1 2023 Quantitative translations for viscosity approximation methods in hyperbolic spaces. Zbl 1495.47106 Kohlenbach, Ulrich; Pinto, Pedro 6 2022 On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space. Zbl 1487.90638 Kohlenbach, Ulrich 5 2022 Quantitative analysis of a subgradient-type method for equilibrium problems. Zbl 1495.47110 Pischke, Nicholas; Kohlenbach, Ulrich 3 2022 The finitary content of sunny nonexpansive retractions. Zbl 07266076 Kohlenbach, Ulrich; Sipoş, Andrei 12 2021 Quantitative results on the proximal point algorithm in uniformly convex Banach spaces. Zbl 1461.47024 Kohlenbach, Ulrich 9 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 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 14 2020 Rates of convergence for iterative solutions of equations involving set-valued accretive operators. Zbl 1504.65118 Kohlenbach, Ulrich; Powell, Thomas 6 2020 Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness. Zbl 1535.03029 Kohlenbach, Ulrich 2 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 A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space. Zbl 07027311 Kohlenbach, Ulrich 8 2019 On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017 Kohlenbach, Ulrich 6 2019 Proof-theoretic methods in nonlinear analysis. Zbl 1445.03062 Kohlenbach, Ulrich 39 2018 Quantitative results on Fejér monotone sequences. Zbl 06814506 Kohlenbach, Ulrich; Leuştean, Laurenţiu; Nicolae, Adriana 18 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 5 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. 4 2017 On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces. Zbl 1358.47038 Kohlenbach, Ulrich 15 2016 Logical metatheorems for abstract spaces axiomatized in positive bounded logic. Zbl 1402.03078 Günzel, Daniel; Kohlenbach, Ulrich 9 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 16 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 Rate of metastability for Bruck’s iteration of pseudocontractive mappings in Hilbert space. Zbl 1348.47060 Körnlein, Daniel; Kohlenbach, Ulrich 5 2014 Quantitative image recovery theorems. Zbl 1307.47059 Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich 4 2014 Logic, language, information, and computation. 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1–4, 2014. Proceedings. Zbl 1295.03005 1 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. 27 2012 On the computational content of convergence proofs via Banach limits. Zbl 1329.03094 Kohlenbach, U.; Leuştean, L. 21 2012 A uniform quantitative form of sequential weak compactness and Baillon’s nonlinear ergodic theorem. Zbl 1245.03093 Kohlenbach, Ulrich 10 2012 Effective metastability for modified Halpern iterations in CAT(0) spaces. Zbl 1475.47073 Schade, K.; Kohlenbach, U. 10 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 43 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 40 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 7 2010 On Tao’s “finitary” infinite pigeonhole principle. Zbl 1188.03045 Gaspar, Jaime; Kohlenbach, Ulrich 6 2010 A quantitative mean ergodic theorem for uniformly convex Banach spaces. Zbl 1190.37005 Kohlenbach, U.; Leuştean, L. 20 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 215 2008 General logical metatheorems for functional analysis. Zbl 1130.03036 Gerhardy, Philipp; Kohlenbach, Ulrich 45 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 10 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 7 2006 Some logical metatheorems with applications in functional analysis. Zbl 1079.03046 Kohlenbach, Ulrich 180 2005 Higher order reverse mathematics. Zbl 1097.03053 Kohlenbach, Ulrich 74 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 12 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. 24 2003 Mann iterates of directionally nonexpansive mappings in hyperbolic spaces. Zbl 1038.47037 Kohlenbach, Ulrich; Laurenţiu, Leuştean 21 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 36 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 12 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 31 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 25 1992 Pointwise hereditary majorization and some applications. Zbl 0729.03031 Kohlenbach, Ulrich 16 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 440 Authors 65 Kohlenbach, Ulrich Wilhelm 36 Sanders, Sam 20 Leuştean, Laurenţiu 16 Nicolae, Adriana 16 Sipoş, Andrei 13 Oliva, Paulo 10 Pinto, Pedro 9 Ferreira, Fernando 9 Fukhar-Ud-Din, Hafiz 9 Normann, Dag 8 Brattka, Vasco 8 Kreuzer, Alexander P. 8 Pischke, Nicholas 7 Avigad, Jeremy 7 Dashputre, Samir 7 Dinis, Bruno 7 Espínola García, Rafael 7 Fujiwara, Makoto 7 Hetzl, Stefan 7 Ishihara, Hajime 7 Nemoto, Takako 6 Khan, Muhammad Aqeel Ahmad 6 López Acedo, Genaro 6 Riba, Colin 6 Shukla, Rahul 6 Van den Berg, Benno 5 Gaspar, Jaime 5 Gerhardy, Philipp 5 Kalsoom, Amna 5 Khan, Safeer Hussain 5 Kim, Jong Kyu 5 Phuengrattana, Withun 5 Safarik, Pavol 5 Şahin, Aynur 5 Towsner, Henry 5 Uddin, Izhar 5 Wangwe, Lucas 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 Ferreira, Gilda 4 Hernest, Mircea-Dan 4 Hirst, Jeffry Lynn 4 Kaewcharoen, Anchalee 4 Kawai, Tatsuji 4 Kirk, William Arthur 4 Koutsoukou-Argyraki, Angeliki 4 Pradic, Pierre 4 Rathjen, Michael 4 Schuster, Peter Michael 4 Shahzad, Naseer 4 Zaslavski, Alexander Yakovlevich 4 Ziegler, Martin 3 Abbas, Mujahid 3 Ahmad, Junaid 3 Ariza-Ruiz, David 3 Bačák, Miroslav 3 Basarir, Metin 3 Berger, Josef 3 Berger, Ulrich 3 Bridges, Douglas Suth 3 Buss, Samuel R. 3 Chugh, Renu 3 Cominetti, Roberto 3 Fujiwara, Makoto 3 Gherardi, Guido 3 Gunduz, Birol 3 Hussain, Nawab 3 Iemhoff, Rosalie 3 Khan, Abdul Rahim 3 Körnlein, Daniel 3 Kumar, Vivek 3 Kurahashi, Taishi 3 Leitsch, Alexander 3 Malik, Preety 3 Narain, Ojen Kumar 3 Ofem, Austine Efut 3 Panicker, Rekha 3 Pant, Rajendra 3 Panyanak, Bancha 3 Piątek, Bożena 3 Postolache, Mihai 3 Reich, Simeon 3 Schwichtenberg, Helmut 3 Steila, Silvia 3 Suanoom, Cholatis 3 Thianwan, Tanakit 3 Ugwunnadi, Godwin Chidi 3 Ullah, Kifayat 3 Wiesnet, Franziskus 3 Yokoyama, Keita 2 Abkar, Ali 2 Abuchu, Jacob Ashiwere 2 Afshari, Bahareh 2 Akbulut, Sezgin 2 Alghamdi, Maryam A. ...and 340 more Authors all top 5 Cited in 129 Serials 50 Annals of Pure and Applied Logic 35 The Journal of Symbolic Logic 21 Archive for Mathematical Logic 21 Fixed Point Theory and Applications 20 Journal of Mathematical Analysis and Applications 19 Mathematical Logic Quarterly (MLQ) 13 Numerical Functional Analysis and Optimization 10 The Bulletin of Symbolic Logic 9 Notre Dame Journal of Formal Logic 7 Advances in Mathematics 7 Transactions of the American Mathematical Society 7 Logical Methods in Computer Science 7 Computability 6 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 6 The Journal of Analysis 6 Thai Journal of Mathematics 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 Journal of Optimization Theory and Applications 5 Filomat 5 Journal of Convex Analysis 5 Journal of Inequalities and Applications 5 Nonlinear Functional Analysis and Applications 5 Oberwolfach Reports 5 Optimization Letters 4 Results in Mathematics 4 Studia Logica 4 Ergodic Theory and Dynamical Systems 4 Mathematical Structures in Computer Science 4 Indagationes Mathematicae. New Series 4 Journal of Mathematical Logic 3 Applied Mathematics and Computation 3 Demonstratio Mathematica 3 Pacific Journal of Mathematics 3 Numerical Algorithms 3 SIAM Journal on Optimization 3 Documenta Mathematica 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 The Journal of Logic and Algebraic Programming 3 The Review of Symbolic Logic 2 Computers & Mathematics with Applications 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 Zeitschrift für Analysis und ihre Anwendungen 2 Optimization 2 Journal of Complexity 2 Information and Computation 2 Historia Mathematica 2 Computational Optimization and Applications 2 Optimization Methods & Software 2 Communications in Nonlinear Science and Numerical Simulation 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 Journal of Approximation Theory 1 Mathematische Annalen 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 Journal of the Nigerian Mathematical Society 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Mathematica Bohemica 1 Journal of Global Optimization 1 L’Enseignement Mathématique. 2e Série 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 ...and 29 more Serials all top 5 Cited in 40 Fields 317 Mathematical logic and foundations (03-XX) 207 Operator theory (47-XX) 126 General topology (54-XX) 45 Computer science (68-XX) 26 Functional analysis (46-XX) 25 Numerical analysis (65-XX) 21 Operations research, mathematical programming (90-XX) 17 Differential geometry (53-XX) 13 General and overarching topics; collections (00-XX) 13 Combinatorics (05-XX) 11 Calculus of variations and optimal control; optimization (49-XX) 10 Real functions (26-XX) 10 Approximations and expansions (41-XX) 8 Dynamical systems and ergodic theory (37-XX) 4 History and biography (01-XX) 4 Category theory; homological algebra (18-XX) 4 Algebraic topology (55-XX) 3 Field theory and polynomials (12-XX) 3 Commutative algebra (13-XX) 3 Group theory and generalizations (20-XX) 3 Ordinary differential equations (34-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 Partial differential equations (35-XX) 2 Difference and functional equations (39-XX) 2 Abstract harmonic analysis (43-XX) 2 Convex and discrete geometry (52-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 Harmonic analysis on Euclidean spaces (42-XX) 1 Integral equations (45-XX) 1 Geometry (51-XX) 1 Statistics (62-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.