Gödel functional interpretation and weak compactness

DOI10.1016/j.apal.2011.12.009zbMath1275.03152OpenAlexW2152286463MaRDI QIDQ450951

Ulrich Kohlenbach

Publication date: 26 September 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.009

zbMATH Keywords

metastabilityproof miningbar recursionnonlinear ergodic theoremsmonotone functional interpretationweak sequential compactness

Mathematics Subject Classification ID

Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Functionals in proof theory (03F10) Nonlinear ergodic theorems (47H25)

Cites Work

• On quantitative versions of theorems due to F. E. Browder and R. Wittmann
• Approximation of fixed points of nonexpansive mappings
• Fundamental notions of analysis in subsystems of second-order arithmetic
• Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces
• On the computational content of the Bolzano-Weierstraß Principle
• A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM
• Ü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
• Ordinal analysis of simple cases of bar recursion
• Nonlinear ergodic theorems
• Some logical metatheorems with applications in functional analysis
• On the No-Counterexample Interpretation
• Norm convergence of multiple ergodic averages for commuting transformations
• General logical metatheorems for functional analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item