paper

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.