Gödel functional interpretation and weak compactness

DOI10.1016/J.APAL.2011.12.009zbMATH Open1275.03152OpenAlexW2152286463MaRDI QIDQ450951FDOQ450951

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

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

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)

Cites Work

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

Cited In (3)

• Functional interpretation and the existence property
• Title not available (Why is that?)
• A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem

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)