102
click to vote
APAL
2006
15 years 3 months ago
2006
We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having...