Quantifier elimination in ordered abelian groups

DOI10.1142/S1793744211000473MaRDI QIDQ763703zbMATHOpenAlexFDO

Authors Raf Cluckers, Immanuel Halupczok

Publication date 29 March 2012

Published in Confluentes Mathematici (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1110.3200

zbMATH Keywords

cell decompositionpiecewise linearityquantifier eliminationordered abelian group

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) 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)

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.

Recommendations

• scientific article; zbMATH DE number 4025497
• Quantifier elimination results for products of ordered abelian groups
• Publication:4735177
• Quantifier elimination of the products of ordered abelian groups
• Quantifier elimination for lexicographic products of ordered abelian groups

Cited in

(26)

• Non-Archimedean resonances of Łojasiewicz inequalities
• Algorithmic quantifier elimination and its upper bound for the theory of groups of prime orders
• On the elimination of quantifiers for the ordered group of real numbers with a distinguished dense subgroup
• Dp-minimal valued fields
• Quantifier elimination results for products of ordered abelian groups
• scientific article; zbMATH DE number 2220965 (Why is no real title available?)
• scientific article; zbMATH DE number 4168740 (Why is no real title available?)
• Quantifier elimination for lexicographic products of ordered abelian groups
• Strongly dependent ordered abelian groups and Henselian fields
• A definable Henselian valuation with high quantifier complexity
• Tame topology over definable uniform structures
• On groups interpretable in various valued fields
• Quantifier elimination of the products of ordered abelian groups
• Abelian \(p\)-groups with no invariants
• scientific article; zbMATH DE number 4093435 (Why is no real title available?)
• Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
• scientific article; zbMATH DE number 4025497 (Why is no real title available?)
• A closedness theorem over Henselian fields with analytic structure and its applications
• Uniform definability of henselian valuation rings in the Macintyre language
• scientific article; zbMATH DE number 4121973 (Why is no real title available?)
• ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK
• A closedness theorem and applications in geometry of rational points over Henselian valued fields
• Nonnegative solvability of linear equations in ordered abelian groups
• Distality in valued fields and related structures
• The complexity of the word problem for abelian l-groups
• Abelian \(C\)-minimal valued groups

This page was built for publication: Quantifier elimination in ordered abelian groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q763703)