The following pages link to Ulrich Kohlenbach (Q175049):
Displayed 50 items.
- On the computational content of convergence proofs via Banach limits (Q2941598) (← links)
- (Q3001098) (← links)
- On the computational content of the Bolzano-Weierstraß Principle (Q3053232) (← links)
- A note on the monotone functional interpretation (Q3107344) (← links)
- A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM (Q3225557) (← links)
- (Q3389145) (← links)
- (Q3396625) (← links)
- Shoenfield is Gödel after Krivine (Q3437042) (← links)
- (Q3635861) (← links)
- A quantitative mean ergodic theorem for uniformly convex Banach spaces (Q3650303) (← links)
- A quantitative mean ergodic theorem for uniformly convex Banach spaces – ERRATUM (Q3650308) (← links)
- (Q3837732) (← links)
- (Q4002004) (← links)
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization (Q4032661) (← links)
- (Q4218526) (← links)
- (Q4222972) (← links)
- Relative constructivity (Q4254679) (← links)
- 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 (Q4293278) (← links)
- (Q4531986) (← links)
- On proximal mappings with Young functions in uniformly convex Banach spaces (Q4557940) (← links)
- Quantitative results on Fejér monotone sequences (Q4596332) (← links)
- (Q4681899) (← links)
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
- (Q4787857) (← links)
- (Q4793025) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces (Q4917990) (← links)
- (Q4941992) (← links)
- On the No-Counterexample Interpretation (Q4948521) (← links)
- (Q5104552) (← links)
- PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS (Q5122020) (← links)
- The finitary content of sunny nonexpansive retractions (Q5129245) (← links)
- (Q5144484) (← links)
- On Tao's “finitary” infinite pigeonhole principle (Q5190206) (← links)
- On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness (Q5211071) (← links)
- Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)
- Quantitative asymptotic regularity results for the composition of two mappings (Q5356924) (← links)
- (Q5384977) (← links)
- Rate of Metastability for Bruck'S Iteration of Pseudocontractive Mappings in Hilbert Space (Q5409723) (← links)
- General logical metatheorems for functional analysis (Q5442144) (← links)
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (Q5450521) (← links)
- (Q5465197) (← links)
- (Q5711891) (← links)
- New Computational Paradigms (Q5717044) (← links)
- Bounds for a nonlinear ergodic theorem for Banach spaces (Q5889844) (← links)
- A note on Spector's quantifier-free rule of extensionality (Q5931215) (← links)
- Universes in explicit mathematics (Q5939842) (← links)
- On uniform weak König's lemma (Q5957854) (← links)
- Rates of Convergence and Metastability for Chidume’s Algorithm for the Approximation of Zeros of Accretive Operators in Banach Spaces (Q6130667) (← links)
- Quantitative results on Fejer monotone sequences (Q6257386) (← links)