Separation and Weak König's Lemma
DOI10.2307/2586763zbMath0922.03079OpenAlexW2133335811WikidataQ124970131 ScholiaQ124970131MaRDI QIDQ4254634
Stephen G. Simpson, A. James Humphreys
Publication date: 11 October 1999
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586763
Hahn-Banach theoremBanach spaceproof theorycomputability theoryreverse mathematicsweak König's lemmarecursion theoryseparation theoremsopen convex setsseparably closed convex sets
Classical Banach spaces in the general theory (46B25) Convex sets in topological linear spaces; Choquet theory (46A55) Duality and reflexivity in normed linear and Banach spaces (46B10) Second- and higher-order arithmetic and fragments (03F35)
Related Items (2)
Cites Work
This page was built for publication: Separation and Weak König's Lemma