Publication:3602611

zbMath1166.06009MaRDI QIDQ3602611

Philip Scowcroft

Publication date: 12 February 2009

zbMATH Keywords

Farkas lemma; ordered abelian group; generalized halfspace

Mathematics Subject Classification ID

06F20: Ordered abelian groups, Riesz groups, ordered linear spaces

03C64: Model theory of ordered structures; o-minimality

03C10: Quantifier elimination, model completeness, and related topics

Related Items

Generalized halfspaces in dimension groups, A representation of convex semilinear sets, Elimination of unbounded quantifiers for some poly-regular groups of infinite rank