×

Kohlenbach, Ulrich Wilhelm

Compute Distance To:
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
Documents Indexed: 94 Publications since 1990, including 2 Books
16 Contributions as Editor
Reviewing Activity: 8 Reviews
Co-Authors: 36 Co-Authors with 55 Joint Publications
640 Co-Co-Authors
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 Communications in Contemporary Mathematics
2 Israel Journal of Mathematics
2 Transactions of the American Mathematical Society
2 Ergodic Theory and Dynamical Systems
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 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

84 Publications have been cited 1,045 times in 380 Documents Cited by Year
Applied proof theory. Proof interpretations and their use in mathematics. Zbl 1158.03002
Kohlenbach, Ulrich
154
2008
Some logical metatheorems with applications in functional analysis. Zbl 1079.03046
Kohlenbach, Ulrich
135
2005
Higher order reverse mathematics. Zbl 1097.03053
Kohlenbach, Ulrich
50
2005
General logical metatheorems for functional analysis. Zbl 1130.03036
Gerhardy, Philipp; Kohlenbach, Ulrich
39
2008
On quantitative versions of theorems due to F. E. Browder and R. Wittmann. Zbl 1223.03041
Kohlenbach, Ulrich
32
2011
Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces. Zbl 1184.03057
Kohlenbach, Ulrich; Leuştean, Laurentiu
28
2010
Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin’s proof for Chebycheff approximation. Zbl 0795.03086
Kohlenbach, Ulrich
24
1993
Analysing proofs in analysis. Zbl 0881.03032
Kohlenbach, Ulrich
22
1996
Proof mining: a systematic way of analyzing proofs in mathematics. Zbl 1079.03045
Kohlenbach, U.; Oliva, P.
21
2003
Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization. Zbl 0781.03051
Kohlenbach, Ulrich
21
1992
Foundational and mathematical uses of higher types. Zbl 1022.03044
Kohlenbach, Ulrich
20
2002
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
18
2003
Uniform asymptotic regularity for Mann iterates. Zbl 1043.47045
Kohlenbach, Ulrich
16
2003
A quantitative version of a theorem due to Borwein-Reich-Stafrir. Zbl 1001.47035
Kohlenbach, Ulrich
16
2001
A quantitative mean ergodic theorem for uniformly convex Banach spaces. Zbl 1190.37005
Kohlenbach, U.; Leuştean, L.
16
2009
On the computational content of convergence proofs via Banach limits. Zbl 1329.03094
Kohlenbach, U.; Leuştean, L.
16
2012
Effective metastability of Halpern iterates in \(CAT(0)\) spaces. Zbl 1270.47060
Kohlenbach, U.; Leuştean, L.
15
2012
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
Proof-theoretic methods in nonlinear analysis. Zbl 1445.03062
Kohlenbach, Ulrich
14
2018
Quantitative asymptotic regularity results for the composition of two mappings. Zbl 1477.47043
Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana
11
2017
Arithmetizing proofs in analysis. Zbl 0919.03046
Kohlenbach, Ulrich
11
1998
Some computational aspects of metric fixed-point theory. Zbl 1086.47021
Kohlenbach, Ulrich
10
2005
Strongly uniform bounds from semi-constructive proofs. Zbl 1099.03048
Gerhardy, Philipp; Kohlenbach, Ulrich
10
2006
On uniform weak König’s lemma. Zbl 1001.03052
Kohlenbach, Ulrich
10
2002
The approximate fixed point property in product spaces. Zbl 1118.47047
Kohlenbach, U.; Leuştean, L.
10
2007
Things that can and things that cannot be done in PRA. Zbl 0958.03039
Kohlenbach, Ulrich
9
2000
A note on Spector’s quantifier-free rule of extensionality. Zbl 0980.03058
Kohlenbach, Ulrich
9
2001
Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators. Zbl 1300.47070
Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki
9
2015
Elimination of Skolem functions for monotone formulas in analysis. Zbl 0916.03040
Kohlenbach, Ulrich
9
1998
Shoenfield is Gödel after Krivine. Zbl 1154.03036
Streicher, Thomas; Kohlenbach, Ulrich
9
2007
Extracting Herbrand disjunctions by functional interpretation. Zbl 1081.03056
Gerhardy, Philipp; Kohlenbach, Ulrich
8
2005
Bounds on iterations of asymptotically quasi-nonexpansive mappings. Zbl 1089.47053
Kohlenbach, Ulrich; Lambov, Branimir
8
2004
On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces. Zbl 1358.47038
Kohlenbach, Ulrich
8
2016
Moduli of regularity and rates of convergence for Fejér monotone sequences. Zbl 1476.47063
Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana
8
2019
On the computational content of the Krasnoselski and Ishikawa fixed point theorems. Zbl 0985.03048
Kohlenbach, Ulrich
7
2001
Addendum to: “Effective metastability of Halpern iterates in CAT(0) spaces”. Zbl 1284.47044
Kohlenbach, Ulrich Wilhelm; Leuştean, Laurenţiu
7
2014
Relative constructivity. Zbl 0928.03065
Kohlenbach, Ulrich
7
1998
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
7
1990
On the computational content of the Bolzano-Weierstraß principle. Zbl 1209.03046
Safarik, Pavol; Kohlenbach, Ulrich
7
2010
Quantitative results on Fejér monotone sequences. Zbl 06814506
Kohlenbach, Ulrich; Leuştean, Laurenţiu; Nicolae, Adriana
7
2018
Effective metastability for modified Halpern iterations in CAT(0) spaces. Zbl 1475.47073
Schade, K.; Kohlenbach, U.
7
2012
Remarks on Herbrand normal forms and Herbrand realizations. Zbl 0742.03021
Kohlenbach, Ulrich
6
1992
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
6
1993
Proof mining in \(L_{1}\)-approximation. Zbl 1026.03040
Kohlenbach, Ulrich; Oliva, Paulo
6
2003
Ramsey’s theorem for pairs and provably recursive functions. Zbl 1221.03059
Kreuzer, Alexander; Kohlenbach, Ulrich
6
2009
Term extraction and Ramsey’s theorem for pairs. Zbl 1254.03112
Kohlenbach, Ulrich; Kreuzer, Alexander P.
6
2012
A uniform quantitative form of sequential weak compactness and Baillon’s nonlinear ergodic theorem. Zbl 1245.03093
Kohlenbach, Ulrich
6
2012
Effective uniform bounds from proofs in abstract functional analysis. Zbl 1154.46043
Kohlenbach, Ulrich
6
2008
A logical uniform boundedness principle for abstract metric and hyperbolic spaces. Zbl 1262.54020
Kohlenbach, Ulrich
6
2006
Fluctuations, effective learnability and metastability in analysis. Zbl 1319.03062
Kohlenbach, Ulrich; Safarik, Pavol
6
2014
The finitary content of sunny nonexpansive retractions. Zbl 07266076
Kohlenbach, Ulrich; Sipoş, Andrei
6
2021
On weak Markov’s principle. Zbl 1044.03046
Kohlenbach, Ulrich
5
2002
On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness. Zbl 0945.03088
Kohlenbach, Ulrich
5
1998
Logical metatheorems for abstract spaces axiomatized in positive bounded logic. Zbl 1402.03078
Günzel, Daniel; Kohlenbach, Ulrich
5
2016
Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces. Zbl 1316.47056
Körnlein, Daniel; Kohlenbach, Ulrich
5
2011
The use of a logical principle of uniform boundedness in analysis. Zbl 0954.03065
Kohlenbach, Ulrich
4
1999
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
Quantitative image recovery theorems. Zbl 1307.47059
Khan, Muhammad Aqeel Ahmad; Kohlenbach, Ulrich
4
2014
On the logical analysis of proofs based on nonseparable Hilbert space theory. Zbl 1269.03056
Kohlenbach, Ulrich
4
2010
Proof theory and computational analysis. Zbl 0917.68196
Kohlenbach, Ulrich
4
1997
On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017
Kohlenbach, Ulrich
4
2019
Quantitative analysis of a Halpern-type proximal point algorithm for accretive operators in Banach spaces. Zbl 1487.47108
Kohlenbach, Ulrich
4
2020
On the disjunctive Markov principle. Zbl 1330.03091
Kohlenbach, Ulrich
3
2015
Interrelation between weak fragments of double negation shift and related principles. Zbl 1445.03006
Fujiwara, Makoto; Kohlenbach, Ulrich
3
2018
Proof interpretations and the computational content of proofs in mathematics. Zbl 1169.03360
Kohlenbach, Ulrich
3
2007
On Tao’s “finitary” infinite pigeonhole principle. Zbl 1188.03045
Gaspar, Jaime; Kohlenbach, Ulrich
3
2010
A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space. Zbl 07027311
Kohlenbach, Ulrich
3
2019
Quantitative results on the proximal point algorithm in uniformly convex Banach spaces. Zbl 1461.47024
Kohlenbach, Ulrich
3
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
3
2021
Rates of convergence for iterative solutions of equations involving set-valued accretive operators. Zbl 07242658
Kohlenbach, Ulrich; Powell, Thomas
2
2020
A note on Goodman’s theorem. Zbl 0988.03089
Kohlenbach, Ulrich
2
1999
Effective asymptotic regularity for one-parameter nonexpansive semigroups. Zbl 1432.03116
Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki
2
2016
A complexity analysis of functional interpretations. Zbl 1096.03071
Hernest, Mircea-Dan; Kohlenbach, Ulrich
2
2005
On the asymptotic behavior of odd operators. Zbl 1221.47094
Kohlenbach, Ulrich
2
2011
On proximal mappings with Young functions in uniformly convex Banach spaces. Zbl 1410.46005
Bačák, Miroslav; Kohlenbach, Ulrich
2
2018
Gödel’s functional interpretation and its use in current mathematics. Zbl 1408.03035
Kohlenbach, Ulrich
2
2011
Classical provability of uniform versions and intuitionistic provability. Zbl 1367.03108
Fujiwara, Makoto; Kohlenbach, Ulrich
1
2015
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
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. Zbl 1487.03065
Kohlenbach, Ulrich
1
2021
Quantitative translations for viscosity approximation methods in hyperbolic spaces. Zbl 07442667
Kohlenbach, Ulrich; Pinto, Pedro
1
2022
Quantitative translations for viscosity approximation methods in hyperbolic spaces. Zbl 07442667
Kohlenbach, Ulrich; Pinto, Pedro
1
2022
The finitary content of sunny nonexpansive retractions. Zbl 07266076
Kohlenbach, Ulrich; Sipoş, Andrei
6
2021
Quantitative results on the proximal point algorithm in uniformly convex Banach spaces. Zbl 1461.47024
Kohlenbach, Ulrich
3
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
3
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
4
2020
Rates of convergence for iterative solutions of equations involving set-valued accretive operators. Zbl 07242658
Kohlenbach, Ulrich; Powell, Thomas
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
8
2019
On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Zbl 1454.03017
Kohlenbach, Ulrich
4
2019
A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space. Zbl 07027311
Kohlenbach, Ulrich
3
2019
Proof-theoretic methods in nonlinear analysis. Zbl 1445.03062
Kohlenbach, Ulrich
14
2018
Quantitative results on Fejér monotone sequences. Zbl 06814506
Kohlenbach, Ulrich; Leuştean, Laurenţiu; Nicolae, Adriana
7
2018
Interrelation between weak fragments of double negation shift and related principles. Zbl 1445.03006
Fujiwara, Makoto; Kohlenbach, Ulrich
3
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
11
2017
On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces. Zbl 1358.47038
Kohlenbach, Ulrich
8
2016
Logical metatheorems for abstract spaces axiomatized in positive bounded logic. Zbl 1402.03078
Günzel, Daniel; Kohlenbach, Ulrich
5
2016
Effective asymptotic regularity for one-parameter nonexpansive semigroups. Zbl 1432.03116
Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki
2
2016
Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators. Zbl 1300.47070
Kohlenbach, Ulrich; Koutsoukou-Argyraki, Angeliki
9
2015
On the disjunctive Markov principle. Zbl 1330.03091
Kohlenbach, Ulrich
3
2015
Classical provability of uniform versions and intuitionistic provability. Zbl 1367.03108
Fujiwara, Makoto; Kohlenbach, Ulrich
1
2015
Addendum to: “Effective metastability of Halpern iterates in CAT(0) spaces”. Zbl 1284.47044
Kohlenbach, Ulrich Wilhelm; Leuştean, Laurenţiu
7
2014
Fluctuations, effective learnability and metastability in analysis. Zbl 1319.03062
Kohlenbach, Ulrich; Safarik, Pavol
6
2014
Rate of metastability for Bruck’s iteration of pseudocontractive mappings in Hilbert space. Zbl 1348.47060
Körnlein, Daniel; Kohlenbach, Ulrich
4
2014
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
On the computational content of convergence proofs via Banach limits. Zbl 1329.03094
Kohlenbach, U.; Leuştean, L.
16
2012
Effective metastability of Halpern iterates in \(CAT(0)\) spaces. Zbl 1270.47060
Kohlenbach, U.; Leuştean, L.
15
2012
Effective metastability for modified Halpern iterations in CAT(0) spaces. Zbl 1475.47073
Schade, K.; Kohlenbach, U.
7
2012
Term extraction and Ramsey’s theorem for pairs. Zbl 1254.03112
Kohlenbach, Ulrich; Kreuzer, Alexander P.
6
2012
A uniform quantitative form of sequential weak compactness and Baillon’s nonlinear ergodic theorem. Zbl 1245.03093
Kohlenbach, Ulrich
6
2012
On quantitative versions of theorems due to F. E. Browder and R. Wittmann. Zbl 1223.03041
Kohlenbach, Ulrich
32
2011
Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces. Zbl 1316.47056
Körnlein, Daniel; Kohlenbach, Ulrich
5
2011
On the asymptotic behavior of odd operators. Zbl 1221.47094
Kohlenbach, Ulrich
2
2011
Gödel’s functional interpretation and its use in current mathematics. Zbl 1408.03035
Kohlenbach, Ulrich
2
2011
Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces. Zbl 1184.03057
Kohlenbach, Ulrich; Leuştean, Laurentiu
28
2010
On the computational content of the Bolzano-Weierstraß principle. Zbl 1209.03046
Safarik, Pavol; Kohlenbach, Ulrich
7
2010
On the logical analysis of proofs based on nonseparable Hilbert space theory. Zbl 1269.03056
Kohlenbach, Ulrich
4
2010
On Tao’s “finitary” infinite pigeonhole principle. Zbl 1188.03045
Gaspar, Jaime; Kohlenbach, Ulrich
3
2010
A quantitative mean ergodic theorem for uniformly convex Banach spaces. Zbl 1190.37005
Kohlenbach, U.; Leuştean, L.
16
2009
Ramsey’s theorem for pairs and provably recursive functions. Zbl 1221.03059
Kreuzer, Alexander; Kohlenbach, Ulrich
6
2009
Applied proof theory. Proof interpretations and their use in mathematics. Zbl 1158.03002
Kohlenbach, Ulrich
154
2008
General logical metatheorems for functional analysis. Zbl 1130.03036
Gerhardy, Philipp; Kohlenbach, Ulrich
39
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.
10
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
10
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
135
2005
Higher order reverse mathematics. Zbl 1097.03053
Kohlenbach, Ulrich
50
2005
Some computational aspects of metric fixed-point theory. Zbl 1086.47021
Kohlenbach, Ulrich
10
2005
Extracting Herbrand disjunctions by functional interpretation. Zbl 1081.03056
Gerhardy, Philipp; Kohlenbach, Ulrich
8
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
8
2004
Proof mining: a systematic way of analyzing proofs in mathematics. Zbl 1079.03045
Kohlenbach, U.; Oliva, P.
21
2003
Mann iterates of directionally nonexpansive mappings in hyperbolic spaces. Zbl 1038.47037
Kohlenbach, Ulrich; Laurenţiu, Leuştean
18
2003
Uniform asymptotic regularity for Mann iterates. Zbl 1043.47045
Kohlenbach, Ulrich
16
2003
Proof mining in \(L_{1}\)-approximation. Zbl 1026.03040
Kohlenbach, Ulrich; Oliva, Paulo
6
2003
Foundational and mathematical uses of higher types. Zbl 1022.03044
Kohlenbach, Ulrich
20
2002
On uniform weak König’s lemma. Zbl 1001.03052
Kohlenbach, Ulrich
10
2002
On weak Markov’s principle. Zbl 1044.03046
Kohlenbach, Ulrich
5
2002
A quantitative version of a theorem due to Borwein-Reich-Stafrir. Zbl 1001.47035
Kohlenbach, Ulrich
16
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
7
2001
Things that can and things that cannot be done in PRA. Zbl 0958.03039
Kohlenbach, Ulrich
9
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
7
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
22
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
24
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
6
1993
Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization. Zbl 0781.03051
Kohlenbach, Ulrich
21
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
7
1990
all top 5

Cited by 332 Authors

58 Kohlenbach, Ulrich Wilhelm
23 Sanders, Sam
17 Leuştean, Laurenţiu
13 Nicolae, Adriana
13 Oliva, Paulo
11 Sipoş, Andrei
10 Fukhar-Ud-Din, Hafiz
9 Ferreira, Fernando
8 Fujiwara, Makoto
8 Kreuzer, Alexander P.
7 Avigad, Jeremy
7 Brattka, Vasco
6 Dashputre, Samir
6 Hetzl, Stefan
6 Khan, Muhammad Aqeel Ahmad
6 Pinto, Pedro C.
5 Espínola García, Rafael
5 Gerhardy, Philipp
5 Ishihara, Hajime
5 Kalsoom, Amna
5 Khan, Safeer Hussain
5 Safarik, Pavol
4 Aggarwal, Sajan
4 Briseid, Eyvind Martol
4 Chuadchawna, Preeyalak
4 Dorais, François Gilbert
4 Farajzadeh, Ali P.
4 Gaspar, Jaime
4 Hernest, Mircea-Dan
4 Kaewcharoen, Anchalee
4 Kim, Jong Kyu
4 Kirk, William Arthur
4 Koutsoukou-Argyraki, Angeliki
4 Nemoto, Takako
4 Normann, Dag
4 Phuengrattana, Withun
4 Riba, Colin
4 Şahin, Aynur
4 Shahzad, Naseer
4 Towsner, Henry
4 Uddin, Izhar
4 Van den Berg, Benno
3 Abbas, Mujahid
3 Ariza-Ruiz, David
3 Basarir, Metin
3 Berardi, Stefano
3 Berger, Josef
3 Berger, Ulrich
3 Bridges, Douglas Suth
3 Dinis, Bruno
3 Fernández-León, Aurora
3 Ferreira, Gilda
3 Gherardi, Guido
3 Gunduz, Birol
3 Hirst, Jeffry Lynn
3 Körnlein, Daniel
3 López Acedo, Genaro
3 Pant, Rajendra Prasad
3 Panyanak, Bancha
3 Postolache, Mihai
3 Schuster, Peter Michael
3 Schwichtenberg, Helmut
3 Steila, Silvia
3 Wiesnet, Franziskus
2 Abkar, Ali
2 Afshari, Bahareh
2 Akbulut, Sezgin
2 Alghamdi, Maryam A.
2 Ali, Javid
2 Atalan, Yunus
2 Bauschke, Heinz H.
2 Bërdëllima, Arian
2 Chang, Shih-Sen
2 Chugh, Renu
2 Cominetti, Roberto
2 Cui, Yunan
2 Cuntavepanit, Asawathep
2 Diener, Hannes
2 Engrácia, Patrícia
2 Hendtlass, Matthew Ralph John
2 Hötzel Escardó, Martín
2 Hussain, Nawab
2 Kang, Shin Min
2 Karakaya, Vatan
2 Karapınar, Erdal
2 Katz, Mikhail G.
2 Kawai, Tatsuji
2 Khan, Abdul Rahim
2 Kreinovich, Vladik Yakovlevich
2 Kumam, Poom
2 Kumar, Vivek
2 Leigh, Graham Emil
2 Leitsch, Alexander
2 Luke, David Russell
2 Malagar, Bhuwan Lal
2 Malik, Preety
2 Maniu, Georgeta
2 Mileti, Joseph R.
2 Moursi, Walaa M.
2 Pradic, Pierre
...and 232 more Authors
all top 5

Cited in 96 Serials

44 Annals of Pure and Applied Logic
31 The Journal of Symbolic Logic
19 Fixed Point Theory and Applications
18 Journal of Mathematical Analysis and Applications
18 Archive for Mathematical Logic
11 Numerical Functional Analysis and Optimization
10 Mathematical Logic Quarterly (MLQ)
9 Notre Dame Journal of Formal Logic
8 The Bulletin of Symbolic Logic
7 Advances in Mathematics
6 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
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 Inequalities and Applications
5 Logical Methods in Computer Science
4 Studia Logica
4 Indagationes Mathematicae. New Series
4 Journal of Convex Analysis
4 Journal of Fixed Point Theory and Applications
4 Optimization Letters
4 Computability
3 Applied Mathematics and Computation
3 Ergodic Theory and Dynamical Systems
3 MSCS. Mathematical Structures in Computer Science
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 Nonlinear Functional Analysis and Applications
3 The Journal of Logic and Algebraic Programming
3 Thai Journal of Mathematics
2 Computers & Mathematics with Applications
2 International Journal of Mathematics and Mathematical Sciences
2 Journal of Optimization Theory and Applications
2 Results in Mathematics
2 Synthese
2 Theoretical Computer Science
2 Information and Computation
2 Numerical Algorithms
2 Historia Mathematica
2 Computational Optimization and Applications
2 Abstract and Applied Analysis
2 Foundations of Computational Mathematics
2 The Review of Symbolic Logic
2 Applied General Topology
2 Bulletin of Mathematical Sciences
2 Mathematical Sciences
2 Journal of Mathematics
2 Korean Journal of Mathematics
1 International Journal of Theoretical Physics
1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
1 Demonstratio Mathematica
1 Fuzzy Sets and Systems
1 Mathematics of Operations Research
1 Mathematische Zeitschrift
1 Memoirs of the American Mathematical Society
1 Monatshefte für Mathematik
1 Proceedings of the American Mathematical Society
1 Publications de l’Institut Mathématique. Nouvelle Série
1 Tôhoku Mathematical Journal. Second Series
1 Topology and its Applications
1 Journal of the Nigerian Mathematical Society
1 Optimization
1 Journal of Complexity
1 Journal of Automated Reasoning
1 Journal of Global Optimization
1 Bulletin of the American Mathematical Society. New Series
1 The Journal of Analysis
1 Topological Methods in Nonlinear Analysis
1 Boletín de la Sociedad Matemática Mexicana. Third Series
1 Documenta Mathematica
1 Journal of Applied Analysis
1 Theory of Computing Systems
1 Optimization Methods & Software
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 Oberwolfach Reports
1 Logica Universalis
1 European Journal of Pure and Applied Mathematics
1 Nonlinear Analysis. Hybrid Systems
1 Tbilisi Mathematical Journal
1 Journal of Logic and Analysis
1 Journal of Mathematics and Computer Science. JMCS
1 Philosophy Compass
1 Iranian Journal of Mathematical Sciences and Informatics
1 Palestine Journal of Mathematics
1 Mathematics
1 Chinese Journal of Mathematics
1 Waves, Wavelets and Fractals. Advanced Analysis
1 Bollettino dell’Unione Matematica Italiana

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.