Publications > Preprint server > Preprint Number 393
Preprint Number 393
393. Raf Cluckers and Immanuel Halupczok
Quantifier elimination in ordered abelian groups
Submission date: 14 October 2011.
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.
Mathematics Subject Classification: Primary: 06F20, secondary: 03C60, 03C64
Keywords and phrases:
|Last updated: March 23 2021 09:22||Please send your corrections to:|