Separating hyperplanes for convex sets over ordered fields
Let \((F,<)\) be an ordered field. Theorem. If A,B are disjoint convex sets in \(F^ n\), then the ordering of F can be extended to an ordering of the rational function field \(K=F(t_ 1,...,t_ n)\) in such a way that A,B are strongly separated by a hyperplane in \(K^ n\).
scientific article; zbMATH DE number 3902782