Fundamental notions of analysis in subsystems of second-order arithmetic (Q2368910)

The authors provide a detailed analysis of the reverse mathematics of a number of central concepts of the theory of Banach and Hilbert spaces. Many statements pertaining to distances, norms, closed sets, closures, projections, and isometries are formalized and analyzed. With this foundation, a proof of von Neumann's mean ergodic theorem is carried out in ACA\(_0\). Earlier works analyzing similar topics in the setting of complete separable metric spaces include (for example) [\textit{D. K. Brown}, ``Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic'', in: Logic and computation, Proc. Workshop, Pittsburgh/PA (USA) 1987, Contemp. Math. 106, 39--50 (1990; Zbl 0693.03041)], [\textit{M. Giusto} and \textit{S. G. Simpson}, ``Located sets and reverse mathematics'', J. Symb. Log. 65, 1451--1480 (2000; Zbl 0967.03051)], and [\textit{S. G. Simpson}, Subsystems of second order arithmetic. Berlin: Springer (1999; Zbl 0909.03048)]. These and other related works are included in the authors' substantial bibliography. This article will be a useful resource for anyone engaging in reverse mathematics on Banach or Hilbert spaces.