Quantifier elimination for algebraic $D$-groups (Q5694977)
From MaRDI portal
scientific article; zbMATH DE number 2212270
Language | Label | Description | Also known as |
---|---|---|---|
English | Quantifier elimination for algebraic $D$-groups |
scientific article; zbMATH DE number 2212270 |
Statements
Quantifier elimination for algebraic $D$-groups (English)
0 references
6 October 2005
0 references
algebraic \(D\)-group
0 references
first-order structure
0 references
quantifier elimination
0 references