Algebro-geometric axioms for DCF
arXiv:1601.04211
Abstract
We give an algebro-geometric first-order axiomatization of DCF (the theory of differentially closed fields of characteristic zero with m commuting derivations) in the spirit of the classical geometric axioms of DCF.