Quantifier elimination results for products of ordered abelian groups (Q2565488)

Quantifier elimination in some language expanding \(L_{og} = \{ 0,+,-, < \}\) for the product of Abelian groups \(H\) and \(K\), where \(H\) admits quantifier elimination and \(K\) is divisible, is shown.