Semilinear cell decomposition (Q4292604)
From MaRDI portal
scientific article; zbMATH DE number 569563
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semilinear cell decomposition |
scientific article; zbMATH DE number 569563 |
Statements
Semilinear cell decomposition (English)
0 references
13 June 1994
0 references
semilinear cell
0 references
semilinear cell decomposition
0 references
quantifier elimination
0 references
\(p\)-adic semilinear sets
0 references
definable sets
0 references
