scientific article
From MaRDI portal
Publication:3602611
zbMath1166.06009MaRDI QIDQ3602611
Publication date: 12 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Generalized halfspaces in dimension groups ⋮ Elimination of unbounded quantifiers for some poly-regular groups of infinite rank ⋮ A discrete variant of Farkas' lemma and related results ⋮ A representation of convex semilinear sets
This page was built for publication: