Highly Influenced

# Quantifier elimination for algebraic D-groups

@inproceedings{Kowalski2003QuantifierEF, title={Quantifier elimination for algebraic D-groups}, author={Piotr Kowalski}, year={2003} }

- Published 2003

We prove that if G is an algebraic D-group (in the sense of Buium [B]) over a differentially closed field (K, ∂) of characteristic 0, then the first order structure consisting of G together with the algebraic D-subvarieties of G,G × G, . . ., has quantifier-elimination. In other words, the projection on Gn of a D-constructible subset of Gn+1 is Dconstructible. Among the consequences is that any finite-dimensional differential algebraic group is interpretable in an algebraically closed field.

#### From This Paper

##### Topics from this paper.

#### Citations

##### Publications citing this paper.

#### References

##### Publications referenced by this paper.

Showing 1-8 of 8 references