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

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

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)

• Algorithmic quantifier elimination and its upper bound for the theory of groups of prime orders
• Quantifier elimination in ordered abelian groups
• 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?)
• Quantifier elimination of the products of ordered abelian groups
• scientific article; zbMATH DE number 4025497 (Why is no real title available?)
• scientific article; zbMATH DE number 4121973 (Why is no real title available?)

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)