Quantifier elimination results for products of ordered abelian groups
From MaRDI portal
Publication:2565488
Recommendations
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)