Separation and weak König’s lemma (1999)
by
A. James Humphreys
,
Stephen G. Simpson
| Venue: | Journal of Symbolic Logic |
| Citations: | 2 - 1 self |
BibTeX
@ARTICLE{Humphreys99separationand,
author = {A. James Humphreys and Stephen G. Simpson},
title = {Separation and weak König’s lemma},
journal = {Journal of Symbolic Logic},
year = {1999},
volume = {64}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
investigating the strength of set existence axioms needed for separable Banach space theory. We show that the separation theorem foropenconvexsetsisequivalenttoWKL0 over RCA0. Weshow that the separation theorem for separably closed convex sets is equivalent to ACA0 over RCA0. Our strategy for proving these geometrical Hahn–Banach theorems is to reduce to the finite-dimensional case by means of a compactness argument. 1.
