×

Kohlenbach, Ulrich Wilhelm

Author ID: kohlenbach.ulrich-wilhelm Recent zbMATH articles by "Kohlenbach, Ulrich Wilhelm"
Published as: Kohlenbach, Ulrich; Kohlenbach, U.; Kohlenbach, Ulrich Wilhelm; Kohlenbach, Ulrich W.
External Links: MGP · Wikidata · dblp · GND · IdRef
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)
5 Oberwolfach Reports
4 Advances in Mathematics
4 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
3 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 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 Computability
1 Electronic Proceedings in Theoretical Computer Science (EPTCS)
1 Springer Monographs in Mathematics

Publications by Year

Citations contained in zbMATH Open

90 Publications have been cited 1,321 times in 464 Documents Cited by Year
Applied proof theory. Proof interpretations and their use in mathematics. Zbl 1158.03002
Kohlenbach, Ulrich
198
2008
Some logical metatheorems with applications in functional analysis. Zbl 1079.03046
Kohlenbach, Ulrich
161
2005
Higher order reverse mathematics. Zbl 1097.03053
Kohlenbach, Ulrich
62
2005
General logical metatheorems for functional analysis. Zbl 1130.03036
Gerhardy, Philipp; Kohlenbach, Ulrich
43
2008
On quantitative versions of theorems due to F. E. Browder and R. Wittmann. Zbl 1223.03041
Kohlenbach, Ulrich
40
2011
Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces. Zbl 1184.03057
Kohlenbach, Ulrich; Leuştean, Laurentiu
36
2010
Foundational and mathematical uses of higher types. Zbl 1022.03044
Kohlenbach, Ulrich
28
2002
Analysing proofs in analysis. Zbl 0881.03032
Kohlenbach, Ulrich
28
1996
Proof-theoretic methods in nonlinear analysis. Zbl 1445.03062
Kohlenbach, Ulrich
28
2018
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.
24
2012
Proof mining: a systematic way of analyzing proofs in mathematics. Zbl 1079.03045
Kohlenbach, U.; Oliva, P.
23
2003
Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization. Zbl 0781.03051
Kohlenbach, Ulrich
23
1992
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Zbl 0882.03050
Kohlenbach, Ulrich
20
1996
Mann iterates of directionally nonexpansive mappings in hyperbolic spaces. Zbl 1038.47037
Kohlenbach, Ulrich; Laurenţiu, Leuştean
20
2003
A quantitative mean ergodic theorem for uniformly convex Banach spaces. Zbl 1190.37005
Kohlenbach, U.; Leuştean, L.
19
2009
Uniform asymptotic regularity for Mann iterates. Zbl 1043.47045
Kohlenbach, Ulrich
18
2003
A quantitative version of a theorem due to Borwein-Reich-Stafrir. Zbl 1001.47035
Kohlenbach, Ulrich
17
2001
On the computational content of convergence proofs via Banach limits. Zbl 1329.03094
Kohlenbach, U.; Leuştean, L.
17
2012
Quantitative results on Fejér monotone sequences. Zbl 06814506
Kohlenbach, Ulrich; Leuştean, Laurenţiu; Nicolae, Adriana
16
2018
Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators. Zbl 1300.47070
Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki
15
2015
On the no-counterexample interpretation. Zbl 0960.03047
Kohlenbach, Ulrich
14
1999
Pointwise hereditary majorization and some applications. Zbl 0729.03031
Kohlenbach, Ulrich
14
1992
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
On uniform weak König’s lemma. Zbl 1001.03052
Kohlenbach, Ulrich
12
2002
On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces. Zbl 1358.47038
Kohlenbach, Ulrich
12
2016
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 approximate fixed point property in product spaces. Zbl 1118.47047
Kohlenbach, U.; Leuştean, L.
11
2007
Arithmetizing proofs in analysis. Zbl 0919.03046
Kohlenbach, Ulrich
11
1998
Strongly uniform bounds from semi-constructive proofs. Zbl 1099.03048
Gerhardy, Philipp; Kohlenbach, Ulrich
11
2006
Extracting Herbrand disjunctions by functional interpretation. Zbl 1081.03056
Gerhardy, Philipp; Kohlenbach, Ulrich
11
2005
Things that can and things that cannot be done in PRA. Zbl 0958.03039
Kohlenbach, Ulrich
10
2000
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
Effective metastability for modified Halpern iterations in CAT(0) spaces. Zbl 1475.47073
Schade, K.; Kohlenbach, U.
10
2012
Shoenfield is Gödel after Krivine. Zbl 1154.03036
Streicher, Thomas; Kohlenbach, Ulrich
9
2007
Elimination of Skolem functions for monotone formulas in analysis. Zbl 0916.03040
Kohlenbach, Ulrich
9
1998
A uniform quantitative form of sequential weak compactness and Baillon’s nonlinear ergodic theorem. Zbl 1245.03093
Kohlenbach, Ulrich
9
2012
A note on Spector’s quantifier-free rule of extensionality. Zbl 0980.03058
Kohlenbach, Ulrich
9
2001
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
Addendum to: “Effective metastability of Halpern iterates in CAT(0) spaces”. Zbl 1284.47044
Kohlenbach, Ulrich Wilhelm; Leuştean, Laurenţiu
9
2014
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
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
The finitary content of sunny nonexpansive retractions. Zbl 07266076
Kohlenbach, Ulrich; Sipoş, Andrei
8
2021
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
Logical metatheorems for abstract spaces axiomatized in positive bounded logic. Zbl 1402.03078
Günzel, Daniel; Kohlenbach, Ulrich
7
2016
Proof mining in \(L_{1}\)-approximation. Zbl 1026.03040
Kohlenbach, Ulrich; Oliva, Paulo
7
2003
Quantitative results on the proximal point algorithm in uniformly convex Banach spaces. Zbl 1461.47024
Kohlenbach, Ulrich
7
2021
Ramsey’s theorem for pairs and provably recursive functions. Zbl 1221.03059
Kreuzer, Alexander; Kohlenbach, Ulrich
7
2009
Quantitative analysis of a Halpern-type proximal point algorithm for accretive operators in Banach spaces. Zbl 1487.47108
Kohlenbach, Ulrich
7
2020
Interrelation between weak fragments of double negation shift and related principles. Zbl 1445.03006
Fujiwara, Makoto; Kohlenbach, Ulrich
7
2018
Effective uniform bounds from proofs in abstract functional analysis. Zbl 1154.46043
Kohlenbach, Ulrich
6
2008
Term extraction and Ramsey’s theorem for pairs. Zbl 1254.03112
Kohlenbach, Ulrich; Kreuzer, Alexander P.
6
2012
Remarks on Herbrand normal forms and Herbrand realizations. Zbl 0742.03021
Kohlenbach, Ulrich
6
1992
On weak Markov’s principle. Zbl 1044.03046
Kohlenbach, Ulrich
6
2002
On the disjunctive Markov principle. Zbl 1330.03091
Kohlenbach, Ulrich
6
2015
On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017
Kohlenbach, Ulrich
6
2019
A logical uniform boundedness principle for abstract metric and hyperbolic spaces. Zbl 1262.54020
Kohlenbach, Ulrich
6
2006
On the logical analysis of proofs based on nonseparable Hilbert space theory. Zbl 1269.03056
Kohlenbach, Ulrich
5
2010
On Tao’s “finitary” infinite pigeonhole principle. Zbl 1188.03045
Gaspar, Jaime; Kohlenbach, Ulrich
5
2010
On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness. Zbl 0945.03088
Kohlenbach, Ulrich
5
1998
Quantitative translations for viscosity approximation methods in hyperbolic spaces. Zbl 1495.47106
Kohlenbach, Ulrich; Pinto, Pedro
5
2022
A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space. Zbl 07027311
Kohlenbach, Ulrich
5
2019
Rates of convergence for iterative solutions of equations involving set-valued accretive operators. Zbl 1504.65118
Kohlenbach, Ulrich; Powell, Thomas
5
2020
On modified Halpern and Tikhonov-Mann iterations. Zbl 1519.47077
Cheval, Horaţiu; Kohlenbach, Ulrich; Leuştean, Laurenţiu
5
2023
The use of a logical principle of uniform boundedness in analysis. Zbl 0954.03065
Kohlenbach, Ulrich
4
1999
Proof theory and computational analysis. Zbl 0917.68196
Kohlenbach, Ulrich
4
1997
Effective asymptotic regularity for one-parameter nonexpansive semigroups. Zbl 1432.03116
Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki
4
2016
Quantitative analysis of a subgradient-type method for equilibrium problems. Zbl 1495.47110
Pischke, Nicholas; Kohlenbach, Ulrich
4
2022
Quantitative image recovery theorems. Zbl 1307.47059
Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich
4
2014
Bounds on Kuhfittig’s iteration schema in uniformly convex hyperbolic spaces. Zbl 1307.47078
Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich
4
2013
Rate of metastability for Bruck’s iteration of pseudocontractive mappings in Hilbert space. Zbl 1348.47060
Körnlein, Daniel; Kohlenbach, Ulrich
4
2014
On the asymptotic behavior of odd operators. Zbl 1221.47094
Kohlenbach, Ulrich
3
2011
Proof interpretations and the computational content of proofs in mathematics. Zbl 1169.03360
Kohlenbach, Ulrich
3
2007
Gödel’s functional interpretation and its use in current mathematics. Zbl 1408.03035
Kohlenbach, Ulrich
3
2011
On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space. Zbl 1487.90638
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
Bounds for a nonlinear ergodic theorem for Banach spaces. Zbl 07680136
Freund, Anton; Kohlenbach, Ulrich
2
2023
On proximal mappings with Young functions in uniformly convex Banach spaces. Zbl 1410.46005
Bačák, Miroslav; Kohlenbach, Ulrich
2
2018
A note on the \(\Pi_ 2^ 0\)-induction rule. Zbl 0831.03032
Kohlenbach, Ulrich
1
1995
Herbrand’s theorem and extractive proof theory. Zbl 1183.03062
Kohlenbach, Ulrich
1
2008
Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6–12, 2011. Zbl 1349.00097
1
2011
A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces. Zbl 1420.03140
Kohlenbach, U.; Nicolae, A.
1
2017
Classical provability of uniform versions and intuitionistic provability. Zbl 1367.03108
Fujiwara, Makoto; Kohlenbach, Ulrich
1
2015
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. Zbl 1487.03065
Kohlenbach, Ulrich
1
2021
On modified Halpern and Tikhonov-Mann iterations. Zbl 1519.47077
Cheval, Horaţiu; Kohlenbach, Ulrich; Leuştean, Laurenţiu
5
2023
Bounds for a nonlinear ergodic theorem for Banach spaces. Zbl 07680136
Freund, Anton; Kohlenbach, Ulrich
2
2023
Quantitative translations for viscosity approximation methods in hyperbolic spaces. Zbl 1495.47106
Kohlenbach, Ulrich; Pinto, Pedro
5
2022
Quantitative analysis of a subgradient-type method for equilibrium problems. Zbl 1495.47110
Pischke, Nicholas; Kohlenbach, Ulrich
4
2022
On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space. Zbl 1487.90638
Kohlenbach, Ulrich
3
2022
The finitary content of sunny nonexpansive retractions. Zbl 07266076
Kohlenbach, Ulrich; Sipoş, Andrei
8
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
Quantitative results on the proximal point algorithm in uniformly convex Banach spaces. Zbl 1461.47024
Kohlenbach, Ulrich
7
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
7
2020
Rates of convergence for iterative solutions of equations involving set-valued accretive operators. Zbl 1504.65118
Kohlenbach, Ulrich; Powell, Thomas
5
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
On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017
Kohlenbach, Ulrich
6
2019
A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space. Zbl 07027311
Kohlenbach, Ulrich
5
2019
Proof-theoretic methods in nonlinear analysis. Zbl 1445.03062
Kohlenbach, Ulrich
28
2018
Quantitative results on Fejér monotone sequences. Zbl 06814506
Kohlenbach, Ulrich; Leuştean, Laurenţiu; Nicolae, Adriana
16
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
2
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.
1
2017
On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces. Zbl 1358.47038
Kohlenbach, Ulrich
12
2016
Logical metatheorems for abstract spaces axiomatized in positive bounded logic. Zbl 1402.03078
Günzel, Daniel; Kohlenbach, Ulrich
7
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
15
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
Quantitative image recovery theorems. Zbl 1307.47059
Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich
4
2014
Rate of metastability for Bruck’s iteration of pseudocontractive mappings in Hilbert space. Zbl 1348.47060
Körnlein, Daniel; Kohlenbach, Ulrich
4
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.
24
2012
On the computational content of convergence proofs via Banach limits. Zbl 1329.03094
Kohlenbach, U.; Leuştean, L.
17
2012
Effective metastability for modified Halpern iterations in CAT(0) spaces. Zbl 1475.47073
Schade, K.; Kohlenbach, U.
10
2012
A uniform quantitative form of sequential weak compactness and Baillon’s nonlinear ergodic theorem. Zbl 1245.03093
Kohlenbach, Ulrich
9
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
40
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
36
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
5
2010
On Tao’s “finitary” infinite pigeonhole principle. Zbl 1188.03045
Gaspar, Jaime; Kohlenbach, Ulrich
5
2010
A quantitative mean ergodic theorem for uniformly convex Banach spaces. Zbl 1190.37005
Kohlenbach, U.; Leuştean, L.
19
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
198
2008
General logical metatheorems for functional analysis. Zbl 1130.03036
Gerhardy, Philipp; Kohlenbach, Ulrich
43
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
9
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
6
2006
Some logical metatheorems with applications in functional analysis. Zbl 1079.03046
Kohlenbach, Ulrich
161
2005
Higher order reverse mathematics. Zbl 1097.03053
Kohlenbach, Ulrich
62
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
11
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.
23
2003
Mann iterates of directionally nonexpansive mappings in hyperbolic spaces. Zbl 1038.47037
Kohlenbach, Ulrich; Laurenţiu, Leuştean
20
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
28
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
11
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
28
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
23
1992
Pointwise hereditary majorization and some applications. Zbl 0729.03031
Kohlenbach, Ulrich
14
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 top 5

Cited by 406 Authors

62 Kohlenbach, Ulrich Wilhelm
28 Sanders, Sam
20 Leuştean, Laurenţiu
16 Nicolae, Adriana
15 Fujiwara, Makoto
15 Sipoş, Andrei
13 Oliva, Paulo
9 Ferreira, Fernando
9 Fukhar-Ud-Din, Hafiz
9 Pinto, Pedro
8 Brattka, Vasco
8 Kreuzer, Alexander P.
7 Avigad, Jeremy
7 Espínola García, Rafael
7 Hetzl, Stefan
6 Dashputre, Samir
6 Dinis, Bruno
6 Ishihara, Hajime
6 Khan, Muhammad Aqeel Ahmad
6 López Acedo, Genaro
6 Nemoto, Takako
6 Normann, Dag
6 Van den Berg, Benno
5 Gaspar, Jaime
5 Gerhardy, Philipp
5 Kalsoom, Amna
5 Khan, Safeer Hussain
5 Phuengrattana, Withun
5 Pischke, Nicholas
5 Safarik, Pavol
5 Shukla, Rahul
5 Towsner, Henry
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 Hernest, Mircea-Dan
4 Hirst, Jeffry Lynn
4 Kaewcharoen, Anchalee
4 Kawai, Tatsuji
4 Kim, Jong Kyu
4 Kirk, William Arthur
4 Koutsoukou-Argyraki, Angeliki
4 Riba, Colin
4 Şahin, Aynur
4 Schuster, Peter Michael
4 Shahzad, Naseer
4 Uddin, Izhar
3 Abbas, Mujahid
3 Ariza-Ruiz, David
3 Basarir, Metin
3 Berger, Josef
3 Berger, Ulrich
3 Bridges, Douglas Suth
3 Cominetti, Roberto
3 Ferreira, Gilda
3 Gherardi, Guido
3 Gunduz, Birol
3 Hussain, Nawab
3 Khan, Abdul Rahim
3 Körnlein, Daniel
3 Kurahashi, Taishi
3 Leitsch, Alexander
3 Panicker, Rekha
3 Pant, Rajendra
3 Panyanak, Bancha
3 Piątek, Bożena
3 Postolache, Mihai
3 Rathjen, Michael
3 Reich, Simeon
3 Schwichtenberg, Helmut
3 Steila, Silvia
3 Suanoom, Cholatis
3 Wiesnet, Franziskus
3 Ziegler, Martin
2 Abkar, Ali
2 Afshari, Bahareh
2 Ahmad, Junaid
2 Akbulut, Sezgin
2 Alghamdi, Maryam A.
2 Ali, Javid
2 Atalan, Yunus
2 Bačák, Miroslav
2 Bantaojai, Thanatporn
2 Bargetz, Christian
2 Bauschke, Heinz H.
2 Bërdëllima, Arian
2 Buss, Samuel R.
2 Cegielski, Andrzej
2 Chandok, Sumit
2 Chang, Shih-Sen
2 Cheval, Horaţiu
2 Chugh, Renu
2 Cui, Yunan
2 Cuntavepanit, Asawathep
2 de la Sen, Manuel
2 Diener, Hannes
...and 306 more Authors
all top 5

Cited in 116 Serials

48 Annals of Pure and Applied Logic
33 The Journal of Symbolic Logic
21 Fixed Point Theory and Applications
20 Journal of Mathematical Analysis and Applications
20 Archive for Mathematical Logic
18 Mathematical Logic Quarterly (MLQ)
12 Numerical Functional Analysis and Optimization
9 Notre Dame Journal of Formal Logic
9 The Bulletin of Symbolic Logic
7 Advances in Mathematics
7 Logical Methods in Computer Science
6 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
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 Transactions of the American Mathematical Society
5 Filomat
5 Journal of Convex Analysis
5 Journal of Inequalities and Applications
5 Optimization Letters
5 Computability
4 Journal of Optimization Theory and Applications
4 Studia Logica
4 Ergodic Theory and Dynamical Systems
4 Indagationes Mathematicae. New Series
4 Nonlinear Functional Analysis and Applications
4 Thai Journal of Mathematics
4 Oberwolfach Reports
3 Applied Mathematics and Computation
3 Pacific Journal of Mathematics
3 Results in Mathematics
3 MSCS. Mathematical Structures in Computer Science
3 Numerical Algorithms
3 SIAM Journal on Optimization
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 Journal of Mathematical Logic
3 The Journal of Logic and Algebraic Programming
3 The Review of Symbolic Logic
2 Computers & Mathematics with Applications
2 Demonstratio Mathematica
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 Optimization
2 Journal of Complexity
2 Information and Computation
2 Historia Mathematica
2 Computational Optimization and Applications
2 The Journal of Analysis
2 Documenta Mathematica
2 Optimization Methods & Software
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 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 Zeitschrift für Analysis und ihre Anwendungen
1 Journal of the Nigerian Mathematical Society
1 Journal of Automated Reasoning
1 Mathematica Bohemica
1 Journal of Global Optimization
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
1 Journal of Applied Mathematics and Computing
1 Journal of Industrial and Management Optimization
1 Logica Universalis
1 European Journal of Pure and Applied Mathematics
1 Nonlinear Analysis. Hybrid Systems
...and 16 more Serials
all top 5

Cited in 36 Fields

285 Mathematical logic and foundations (03-XX)
185 Operator theory (47-XX)
112 General topology (54-XX)
45 Computer science (68-XX)
23 Functional analysis (46-XX)
21 Numerical analysis (65-XX)
20 Operations research, mathematical programming (90-XX)
15 Differential geometry (53-XX)
12 General and overarching topics; collections (00-XX)
11 Combinatorics (05-XX)
11 Calculus of variations and optimal control; optimization (49-XX)
10 Real functions (26-XX)
8 Approximations and expansions (41-XX)
7 Dynamical systems and ergodic theory (37-XX)
4 History and biography (01-XX)
4 Algebraic topology (55-XX)
3 Field theory and polynomials (12-XX)
3 Commutative algebra (13-XX)
3 Category theory; homological algebra (18-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 Group theory and generalizations (20-XX)
2 Ordinary differential equations (34-XX)
2 Difference and functional equations (39-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 Partial differential equations (35-XX)
1 Abstract harmonic analysis (43-XX)
1 Convex and discrete geometry (52-XX)
1 Relativity and gravitational theory (83-XX)

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.