A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM

DOI10.1142/S021919971250006XzbMath1245.03093OpenAlexW2149137821MaRDI QIDQ3225557

Ulrich Kohlenbach

Publication date: 21 March 2012

Published in: Communications in Contemporary Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s021919971250006x

zbMATH Keywords

metastabilitynonlinear ergodic theoremeffective boundsproof mining

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Nonlinear ergodic theorems (47H25)

Related Items (10)

Bounds for a nonlinear ergodic theorem for Banach spaces ⋮ Fluctuations, effective learnability and metastability in analysis ⋮ Concepts of almost periodicity and ergodic theorems in locally convex spaces ⋮ On quantitative versions of theorems due to F. E. Browder and R. Wittmann ⋮ Quantitative results on Fejér monotone sequences ⋮ A quantitative nonlinear strong ergodic theorem for Hilbert spaces ⋮ Gödel functional interpretation and weak compactness ⋮ Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces ⋮ A quantitative multiparameter mean ergodic theorem ⋮ Oscillation and the mean ergodic theorem for uniformly convex Banach spaces

Cites Work

• Unnamed Item
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann
• Approximation of fixed points of nonexpansive mappings
• On the computational content of the Bolzano-Weierstraß Principle
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Local stability of ergodic averages
• A quantitative mean ergodic theorem for uniformly convex Banach spaces
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Nonlinear ergodic theorems
• Some logical metatheorems with applications in functional analysis
• On the No-Counterexample Interpretation
• General logical metatheorems for functional analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• On the interpretation of non-finitist proofs–Part II

This page was built for publication: A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM