Quantifier elimination results for products of ordered abelian groups (Q2565488)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Quantifier elimination results for products of ordered abelian groups |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantifier elimination results for products of ordered abelian groups |
scientific article |
Statements
Quantifier elimination results for products of ordered abelian groups (English)
0 references
27 September 2005
0 references
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.
0 references
abelian group
0 references
quantifier elimination
0 references
lexicographic product
0 references
