Geometric axioms for differentially closed fields with several commuting derivations (Q1938544): Difference between revisions

In this paper the author gives a geometric first-order axiomatization of differentially closed fields of characteristic zero with several commuting derivations, along the lines of the axioms of \textit{D. Pierce} and \textit{A. Pillay} for differentially closed fields of characteristic zero [J. Algebra 204, No. 1, 108--115 (1998; Zbl 0922.12006)]. In contrast with preceding axiomatizations, this one is formulated in terms of a relative notion of prolongation for Kolchin-closed sets, viz., the author gives an axiomatization of differentially closed fields with \((m+1)\) commuting derivations which is geometric relative to the theory with \(m\) derivations. In case of a single derivation, the axiomatization specializes to the Pierce-Pillay axioms.