Learn More

investigating the strength of set existence axioms needed for separable Banach space theory. We show that the separation theorem for open convex sets is equivalent to WKL 0 over RCA 0. We show that the separation theorem for separably closed convex sets is equivalent to ACA 0 over RCA 0. Our strategy for proving these geometrical Hahn–Banach theorems is to… (More)

- ‹
- 1
- ›