Prefer a chat interface with context about you and your work?
Quantifier elimination of the products of ordered abelian groups
In this paper, we study the theories of lexicographic products of ordered abelian groups.