The Model Theory of Differential Fields with Finitely Many Commuting Derivations
McGrail, Tracey
J. Symbolic Logic, Tome 65 (2000) no. 1, p. 885-913 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
In this paper we set out the basic model theory of differential fields of characteristic 0, which have finitely many commuting derivations. We give axioms for the theory of differentially closed differential fields with m derivations and show that this theory is $\omega$-stable, model complete, and quantifier-eliminable, and that it admits elimination of imaginaries. We give a characterization of forking and compute the rank of this theory to be $\omega^m + 1$.
Publié le : 2000-06-14
Classification:  
@article{1183746084,
     author = {McGrail, Tracey},
     title = {The Model Theory of Differential Fields with Finitely Many Commuting Derivations},
     journal = {J. Symbolic Logic},
     volume = {65},
     number = {1},
     year = {2000},
     pages = { 885-913},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746084}
}

McGrail, Tracey. The Model Theory of Differential Fields with Finitely Many Commuting Derivations. J. Symbolic Logic, Tome 65 (2000) no. 1, pp.  885-913. http://gdmltest.u-ga.fr/item/1183746084/