Fundamental notions of analysis in subsystems of second-order arithmetic
From MaRDI portal
Publication:2368910
DOI10.1016/j.apal.2005.03.004zbMath1109.03069OpenAlexW2127217337MaRDI QIDQ2368910
Publication date: 28 April 2006
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.2005.03.004
projectionsdistancesHilbert spaceBanach spacemean ergodic theoremnormsreverse mathematicsisometriesclosuresfoundations of analysisclosed sets
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items (7)
Lipschitz and Wadge binary games in second order arithmetic ⋮ Gödel functional interpretation and weak compactness ⋮ Unnamed Item ⋮ The metamathematics of ergodic theory ⋮ Local stability of ergodic averages ⋮ Corrigendum to: ‘A constructive view on ergodic theorems’ ⋮ Oscillation and the mean ergodic theorem for uniformly convex Banach spaces
Cites Work
- Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic
- Vitali's theorem and WWKL
- Proof mining in \(L_{1}\)-approximation
- Periodic points and subsystems of second-order arithmetic
- Two Applications of Logic to Mathematics
- Separation and Weak König's Lemma
- Located sets and reverse mathematics
- Some logical metatheorems with applications in functional analysis
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Fundamental notions of analysis in subsystems of second-order arithmetic