Geometric axioms for differentially closed fields with several commuting derivations (Q1938544): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 16:40, 1 February 2024
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
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