Quantifier elimination in ordered abelian groups

DOI10.1142/S1793744211000473zbMATH Open1246.03059arXiv1110.3200OpenAlexW2027028526MaRDI QIDQ763703FDOQ763703

Authors: Raf Cluckers, Immanuel Halupczok 

Publication date: 29 March 2012

Published in: Confluentes Mathematici (Search for Journal in Brave)

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.

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

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

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)

Cited In (26)

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