Geometric Axioms for Differentially Closed Fields with Several Commuting Derivations
arXiv:1103.0730
Abstract
A geometric first-order axiomatization of differentially closed fields of characteristic zero with several commuting derivations, in the spirit of Pierce-Pillay, is formulated in terms of a relative notion of prolongation for Kolchin-closed sets.