WKL0 and Stoneʹs separation theorem for convex sets Original Research Article

The Stoneʹs Separation Theorem (for countable convex sets of countable vector spaces over countable ordered fields) is equivalent to Weak Königʹs Lemma (over RCA0).