Quantifier elimination results for products of ordered abelian groups

DOI10.21099/TKBJM/1496164802zbMATH Open1084.06012OpenAlexW44661089MaRDI QIDQ2565488FDOQ2565488

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

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

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)

Cited In (8)

• Elimination of unbounded quantifiers for some poly-regular groups of infinite rank
• Quantifier elimination of the products of ordered abelian groups
• Quantifier elimination for lexicographic products of ordered abelian groups
• Quantifier elimination in ordered abelian groups
• Title not available (Why is that?)
• Algorithmic quantifier elimination and its upper bound for the theory of groups of prime orders
• Title not available (Why is that?)
• Title not available (Why is that?)

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)