Quantifier elimination in ordered abelian groups

Abstract

We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in the group is a union of a family of quantifier free definable sets, where the parameter of the family runs over a set definable (with quantifiers) in a sort which carries the structure of an ordered set with some additional unary predicates. As a corollary, we find that all definable functions in ordered abelian groups are piecewise affine linear on finitely many definable pieces.

30 pages

References in corpus (1)

• Approximations and Lipschitz continuity in p-adic semi-algebraic and subanalytic geometry

Cited by in corpus (5)

• The domination monoid in henselian valued fields
• Uniform definability of henselian valuation rings in the Macintyre language
• Residue field domination in henselian valued fields of equicharacteristic zero
• On Model Theory of Valued Vector Spaces
• Tame topology in Hensel minimal structures