Fundamental notions of analysis in subsystems of second-order arithmetic

DOI10.1016/j.apal.2005.03.004zbMath1109.03069OpenAlexW2127217337MaRDI QIDQ2368910

Ksenija Simic, Jeremy Avigad

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

zbMATH Keywords

projectionsdistancesHilbert spaceBanach spacemean ergodic theoremnormsreverse mathematicsisometriesclosuresfoundations of analysisclosed sets

Mathematics Subject Classification ID

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