\(\text{WKL}_ 0\) and Stone's separation theorem for convex sets

DOI10.1016/0168-0072(95)00038-0zbMath0852.03023OpenAlexW1983084808MaRDI QIDQ1919533

Kostas Hatzikiriakou

Publication date: 5 December 1996

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(95)00038-0

zbMATH Keywords

reverse mathematicsweak König's lemmaStone's separation theoremcountable convex setscountable vector spaces

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items

Separation and Weak König's Lemma

Cites Work

• Addendum to ``Countable algebra and set existence axioms
• SOME REMARKS ON A THEOREM OF IRAJ KALANTARI CONCERNING CONVEXITY AND RECURSION THEORY
• Unnamed Item
• Unnamed Item