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

zbMATH Keywords

Hahn-Banach theoremBanach spaceproof theorycomputability theoryreverse mathematicsweak König's lemmarecursion theoryseparation theoremsopen convex setsseparably closed convex sets

Mathematics Subject Classification ID

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)

Fundamental notions of analysis in subsystems of second-order arithmetic ⋮ How Incomputable is the Separable Hahn-Banach Theorem?

Cites Work

• Unnamed Item
• Fragments of arithmetic
• Fixed point theory in weak second-order arithmetic
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• \(\text{WKL}_ 0\) and Stone's separation theorem for convex sets
• Separable Banach space theory needs strong set existence axioms

This page was built for publication: Separation and Weak König's Lemma