WKL<sub>0</sub> and Stone's Separation Theorem for Convex Sets.

Kostas Hatzikiriakou WKL<sub>0</sub> and Stone's Separation Theorem for Convex Sets. 245-249 1996 77 Ann. Pure Appl. Logic 3 db/journals/apal/apal77.html#Hatzikiriakou96 http://dx.doi.org/10.1016/0168-0072(95)00038-0