| Publication | Date of Publication | Type |
|---|
Quantitative results for a Tseng-type primal-dual method for composite monotone inclusions
Computational Optimization and Applications | 2026-03-16 | Paper |
Fejér monotone sequences revisited
Journal of Convex Analysis | 2026-02-25 | Paper |
Effective rates for nonlinear ergodic averages
Journal of Mathematical Analysis and Applications | 2026-01-15 | Paper |
Herbrand analyses in geometry: a case study
Journal of Logic and Computation | 2025-10-15 | Paper |
Effective rates for iterations involving Bregman strongly nonexpansive operators
Set-Valued and Variational Analysis | 2025-01-13 | Paper |
Book review of: M. Hämeen-Anttila (ed.) and J. von Plato (ed.), Kurt Gödel. The Princeton lectures on intuitionism
Philosophia Mathematica. Series III | 2024-06-07 | Paper |
Rates of Convergence and Metastability for Chidume’s Algorithm for the Approximation of Zeros of Accretive Operators in Banach Spaces
Numerical Functional Analysis and Optimization | 2024-04-03 | Paper |
| Fej\'er monotone sequences revisited | 2023-10-10 | Paper |
Bounds for a nonlinear ergodic theorem for Banach spaces
Ergodic Theory and Dynamical Systems | 2023-04-27 | Paper |
On modified Halpern and Tikhonov-Mann iterations
Journal of Optimization Theory and Applications | 2023-04-17 | Paper |
| scientific article; zbMATH DE number 7585096 (Why is no real title available?) | 2022-09-14 | Paper |
Correction to: ``Quantitative analysis of a subgradient-type method for equilibrium problems''
Numerical Algorithms | 2022-04-22 | Paper |
Quantitative analysis of a subgradient-type method for equilibrium problems
Numerical Algorithms | 2022-04-22 | Paper |
| R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces | 2022-04-08 | Paper |
On modified Halpern and Tikhonov-Mann iterations
(available as arXiv preprint) | 2022-03-21 | Paper |
On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space
Optimization Letters | 2022-03-15 | Paper |
Quantitative translations for viscosity approximation methods in hyperbolic spaces
Journal of Mathematical Analysis and Applications | 2021-12-13 | Paper |
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness
Archive for Mathematical Logic | 2021-10-29 | Paper |
| Quantitative analysis of a Halpern-type proximal point algorithm for accretive operators in Banach spaces | 2021-05-07 | Paper |
A uniform betweenness property in metric spaces and its role in the quantitative analysis of the ``lion-man'' game
Pacific Journal of Mathematics | 2021-03-23 | Paper |
| Quantitative results on the proximal point algorithm in uniformly convex Banach spaces | 2021-01-18 | Paper |
The finitary content of sunny nonexpansive retractions
Communications in Contemporary Mathematics | 2020-10-26 | Paper |
PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
Proceedings of the International Congress of Mathematicians (ICM 2018) | 2020-09-22 | Paper |
On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness
Computability | 2020-01-17 | Paper |
Moduli of regularity and rates of convergence for Fejér monotone sequences
Israel Journal of Mathematics | 2019-08-12 | Paper |
A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space
Foundations of Computational Mathematics | 2019-02-21 | Paper |
| On proximal mappings with Young functions in uniformly convex Banach spaces | 2018-11-27 | Paper |
On proximal mappings with Young functions in uniformly convex Banach spaces
(available as arXiv preprint) | 2018-11-27 | Paper |
Interrelation between weak fragments of double negation shift and related principles
Journal of Symbolic Logic | 2018-10-26 | Paper |
Quantitative results on Fejér monotone sequences
Communications in Contemporary Mathematics | 2017-12-01 | Paper |
Quantitative asymptotic regularity results for the composition of two mappings
Optimization | 2017-09-12 | Paper |
A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces
Studia Logica | 2017-07-19 | Paper |
On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces
Israel Journal of Mathematics | 2017-01-11 | Paper |
Logical metatheorems for abstract spaces axiomatized in positive bounded logic
Advances in Mathematics | 2016-02-02 | Paper |
On the disjunctive Markov principle
Studia Logica | 2015-12-07 | Paper |
Effective asymptotic regularity for one-parameter nonexpansive semigroups
Journal of Mathematical Analysis and Applications | 2015-09-30 | Paper |
On the computational content of convergence proofs via Banach limits
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2015-08-21 | Paper |
Classical provability of uniform versions and intuitionistic provability
Mathematical Logic Quarterly | 2015-06-22 | Paper |
Quantitative results on Fejer monotone sequences
(available as arXiv preprint) | 2014-12-17 | Paper |
Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators
Journal of Mathematical Analysis and Applications | 2014-11-19 | Paper |
Quantitative image recovery theorems
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2014-05-27 | Paper |
Addendum to: ``Effective metastability of Halpern iterates in CAT(0) spaces''
Advances in Mathematics | 2014-04-14 | Paper |
Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space
Numerical Functional Analysis and Optimization | 2014-04-14 | Paper |
Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces
Journal of Mathematical Analysis and Applications | 2014-04-02 | Paper |
Fluctuations, effective learnability and metastability in analysis
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
Effective metastability for modified Halpern iterations in CAT(0) spaces
Fixed Point Theory and Applications | 2013-12-02 | Paper |
| Gödel's functional interpretation and its use in current mathematics | 2013-10-29 | Paper |
A logical uniform boundedness principle for abstract metric and hyperbolic spaces
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
Effective metastability of Halpern iterates in \(CAT(0)\) spaces
Advances in Mathematics | 2012-11-02 | Paper |
Gödel functional interpretation and weak compactness
Annals of Pure and Applied Logic | 2012-09-26 | Paper |
Term extraction and Ramsey's theorem for pairs
The Journal of Symbolic Logic | 2012-09-19 | Paper |
Term extraction and Ramsey's theorem for pairs
The Journal of Symbolic Logic | 2012-09-19 | Paper |
A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem
Communications in Contemporary Mathematics | 2012-03-21 | Paper |
A note on the monotone functional interpretation
Mathematical Logic Quarterly | 2011-12-23 | Paper |
Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2011-07-22 | Paper |
On the asymptotic behavior of odd operators
Journal of Mathematical Analysis and Applications | 2011-07-18 | Paper |
| On the logical analysis of proofs based on nonseparable Hilbert space theory | 2011-05-31 | Paper |
On quantitative versions of theorems due to F. E. Browder and R. Wittmann
Advances in Mathematics | 2011-02-09 | Paper |
On the computational content of the Bolzano-Weierstraß Principle
Mathematical Logic Quarterly | 2010-11-04 | Paper |
Ramsey's theorem for pairs and provably recursive functions
Notre Dame Journal of Formal Logic | 2010-09-02 | Paper |
On Tao's “finitary” infinite pigeonhole principle
Journal of Symbolic Logic | 2010-03-15 | Paper |
Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
Journal of the European Mathematical Society (JEMS) | 2010-01-28 | Paper |
A quantitative mean ergodic theorem for uniformly convex Banach spaces
Ergodic Theory and Dynamical Systems | 2009-12-14 | Paper |
Erratum: A quantitative mean ergodic theorem for uniformly convex Banach spaces
Ergodic Theory and Dynamical Systems | 2009-12-14 | Paper |
| scientific article; zbMATH DE number 5605127 (Why is no real title available?) | 2009-09-19 | Paper |
| Herbrand's theorem and extractive proof theory | 2009-07-06 | Paper |
| scientific article; zbMATH DE number 5269063 (Why is no real title available?) | 2008-04-29 | Paper |
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Springer Monographs in Mathematics | 2008-03-12 | Paper |
General logical metatheorems for functional analysis
Transactions of the American Mathematical Society | 2008-02-15 | Paper |
Shoenfield is Gödel after Krivine
MLQ | 2007-05-11 | Paper |
The approximate fixed point property in product spaces
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2007-02-14 | Paper |
Strongly uniform bounds from semi-constructive proofs
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
| scientific article; zbMATH DE number 2236640 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2196360 (Why is no real title available?) | 2005-08-22 | Paper |
Extracting Herbrand disjunctions by functional interpretation
Archive for Mathematical Logic | 2005-08-17 | Paper |
A complexity analysis of functional interpretations
Theoretical Computer Science | 2005-06-30 | Paper |
| scientific article; zbMATH DE number 2174396 (Why is no real title available?) | 2005-06-08 | Paper |
Some computational aspects of metric fixed-point theory
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2005-05-04 | Paper |
Some logical metatheorems with applications in functional analysis
Transactions of the American Mathematical Society | 2004-10-05 | Paper |
Mann iterates of directionally nonexpansive mappings in hyperbolic spaces
Abstract and Applied Analysis | 2003-06-18 | Paper |
Uniform asymptotic regularity for Mann iterates.
Journal of Mathematical Analysis and Applications | 2003-05-25 | Paper |
Proof mining in \(L_{1}\)-approximation
Annals of Pure and Applied Logic | 2003-05-22 | Paper |
| scientific article; zbMATH DE number 1870414 (Why is no real title available?) | 2003-02-18 | Paper |
A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR
Numerical Functional Analysis and Optimization | 2002-12-16 | Paper |
Intuitionistic choice and restricted classical logic
Mathematical Logic Quarterly (MLQ) | 2002-09-16 | Paper |
A note on Goodman's theorem
Studia Logica | 2002-07-22 | Paper |
On uniform weak König's lemma
Annals of Pure and Applied Logic | 2002-06-02 | Paper |
| scientific article; zbMATH DE number 1746038 (Why is no real title available?) | 2002-05-27 | Paper |
A note on Spector's quantifier-free rule of extensionality
Archive for Mathematical Logic | 2002-03-12 | Paper |
| On Weak Markov's Principle | 2002-01-01 | Paper |
On the No-Counterexample Interpretation
Journal of Symbolic Logic | 2001-05-10 | Paper |
Things that can and things that cannot be done in PRA
Annals of Pure and Applied Logic | 2001-03-19 | Paper |
| scientific article; zbMATH DE number 1418437 (Why is no real title available?) | 2001-02-14 | Paper |
On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness
Annals of Pure and Applied Logic | 2000-10-08 | Paper |
Relative constructivity
Journal of Symbolic Logic | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1222925 (Why is no real title available?) | 1999-08-31 | Paper |
| scientific article; zbMATH DE number 1231647 (Why is no real title available?) | 1999-01-06 | Paper |
Elimination of Skolem functions for monotone formulas in analysis
Archive for Mathematical Logic | 1998-11-25 | Paper |
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
Archive for Mathematical Logic | 1998-03-12 | Paper |
| scientific article; zbMATH DE number 956475 (Why is no real title available?) | 1998-01-27 | Paper |
A note on the \(\Pi_ 2^ 0\)-induction rule
Archive for Mathematical Logic | 1996-02-20 | Paper |
Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
Annals of Pure and Applied Logic | 1994-09-01 | Paper |
Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
Journal of Symbolic Logic | 1993-04-01 | Paper |
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
Numerical Functional Analysis and Optimization | 1993-01-01 | Paper |
| scientific article; zbMATH DE number 51623 (Why is no real title available?) | 1992-09-18 | Paper |
Remarks on Herbrand normal forms and Herbrand realizations
Archive for Mathematical Logic | 1992-06-25 | Paper |
Pointwise hereditary majorization and some applications
Archive for Mathematical Logic | 1992-01-01 | Paper |
