scientific article; zbMATH DE number 4025497
From MaRDI portal
Publication:3767392
Recommendations
Cited in
(16)- Quantifier elimination for lexicographic products of ordered abelian groups
- Universally generic finitely generated ordered Abelian groups
- The complexity of bounded quantifiers in some ordered abelian groups
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank
- Quantifier elimination results for products of ordered abelian groups
- On the elimination of quantifiers for the ordered group of real numbers with a distinguished dense subgroup
- The order indiscernibles of divisible ordered abelian groups
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains
- scientific article; zbMATH DE number 4121973 (Why is no real title available?)
- scientific article; zbMATH DE number 1829609 (Why is no real title available?)
- Distality in valued fields and related structures
- The classifications of all quantifier-eliminable treelike partial orderings with a least element
- Algorithmic quantifier elimination and its upper bound for the theory of groups of prime orders
- Beautiful pairs
- Quantifier elimination in ordered abelian groups
- Existential equivalence of ordered abelian groups with parameters
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3767392)
