Date of Original Version

2004

Type

Article

Rights Management

All Rights Reserved

Abstract or Description

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 to do with distances, closed subsets and subspaces, closures, bases, norms, and projections. We pay close attention to variations that arise when formalizing definitions and theorems, and study the relationships between them.

DOI

10.1016/j.apal.2005.03.004

Included in

Philosophy Commons

Share

COinS