Quantifier elimination results for products of ordered abelian groups

DOI10.21099/TKBJM/1496164802MaRDI QIDQ2565488zbMATH OpenOpenAlexFDO

Authors Nobyua Suzuki

Publication date 27 September 2005

Published in Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21099/tkbjm/1496164802

zbMATH Keywords

abelian grouplexicographic productquantifier elimination

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Review text

Quantifier elimination in some language expanding \(L_{og} = \{ 0,+,-, < \}\) for the product of Abelian groups \(H\) and \(K\), where \(H\) admits quantifier elimination and \(K\) is divisible, is shown.

Recommendations

• Quantifier elimination of the products of ordered abelian groups
• Quantifier elimination for lexicographic products of ordered abelian groups
• scientific article; zbMATH DE number 4025497
• Quantifier elimination in ordered abelian groups
• scientific article; zbMATH DE number 5041320

Cited in

(8)

• Quantifier elimination for lexicographic products of ordered abelian groups
• Elimination of unbounded quantifiers for some poly-regular groups of infinite rank
• scientific article; zbMATH DE number 3900728 (Why is no real title available?)
• scientific article; zbMATH DE number 4025497 (Why is no real title available?)
• scientific article; zbMATH DE number 4121973 (Why is no real title available?)
• Algorithmic quantifier elimination and its upper bound for the theory of groups of prime orders
• Quantifier elimination in ordered abelian groups
• Quantifier elimination of the products of ordered abelian groups

This page was built for publication: Quantifier elimination results for products of ordered abelian groups

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