Geometric axioms for differentially closed fields with several commuting derivations (Q1938544)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Geometric axioms for differentially closed fields with several commuting derivations
scientific article

    Statements

    Geometric axioms for differentially closed fields with several commuting derivations (English)
    0 references
    21 February 2013
    0 references
    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.
    0 references
    0 references
    differential field
    0 references
    prolongation
    0 references
    first-order axiomatization
    0 references
    differentially closed fields
    0 references
    commuting derivations
    0 references
    Kolchin-closed sets
    0 references

    Identifiers