Gödel functional interpretation and weak compactness

DOI10.1016/J.APAL.2011.12.009MaRDI QIDQ450951zbMATHOpenAlexFDO

Authors 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) Nonlinear ergodic theorems (47H25) Functionals in proof theory (03F10)

Recommendations

• A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem
• On the removal of weak compactness arguments in proof mining
• Some logical metatheorems with applications in functional analysis
• The bounded functional interpretation of the double negation shift
• Bounded functional interpretation

Cites work

• scientific article; zbMATH DE number 956475 (Why is no real title available?)
• scientific article; zbMATH DE number 3481293 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 5269063 (Why is no real title available?)
• scientific article; zbMATH DE number 3231083 (Why is no real title available?)
• A quantitative mean ergodic theorem for uniformly convex Banach spaces
• A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Approximation of fixed points of nonexpansive mappings
• Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces
• Fundamental notions of analysis in subsystems of second-order arithmetic
• General logical metatheorems for functional analysis
• Gödel's functional interpretation and its use in current mathematics
• Local stability of ergodic averages
• Nonlinear ergodic theorems
• Norm convergence of multiple ergodic averages for commuting transformations
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann
• On the No-Counterexample Interpretation
• On the computational content of the Bolzano-Weierstraß Principle
• On the logical analysis of proofs based on nonseparable Hilbert space theory
• Ordinal analysis of simple cases of bar recursion
• Some logical metatheorems with applications in functional analysis
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(4)

• A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• Functional interpretation and the existence property
• On the removal of weak compactness arguments in proof mining

This page was built for publication: Gödel functional interpretation and weak compactness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q450951)