Geometric axioms for differentially closed fields with several commuting derivations

A geometric first-order axiomatization of differentially closed fields of characteristic zero with several commuting derivations, in the spirit of Pierce and Pillay (1998) [13], is formulated in terms of a relative notion of prolongation for Kolchin-closed sets.