@article{10.2307/2586576,
    Abstract = {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.},
    Author = {McGrail, Tracey},
    File = {The Model Theory of Differential Fields with Finitely Many Commuting Derivations - mcgrail2000 - a - a - a - a - o.pdf},
    ISSN = {00224812},
    Journal = {The Journal of Symbolic Logic},
    Number = {2},
    Pages = {885--913},
    Publisher = {Association for Symbolic Logic},
    Title = {The Model Theory of Differential Fields with Finitely Many Commuting Derivations},
    URL = {http://www.jstor.org/stable/2586576},
    Volume = {65},
    Year = {2000},
    bdsk-url-1 = {http://www.jstor.org/stable/2586576},
    date-added = {2020-04-09 14:31:19 +0200},
    date-modified = {2020-04-09 14:31:19 +0200},
    doi = {10.2307/2586576}
}

@article{10.2307/2586576, Abstract = {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.}, Author = {McGrail, Tracey}, File = {The Model Theory of Differential Fields with Finitely Many Commuting Derivations - mcgrail2000 - a - a - a - a - o.pdf}, ISSN = {00224812}, Journal = {The Journal of Symbolic Logic}, Number = {2}, Pages = {885--913}, Publisher = {Association for Symbolic Logic}, Title = {The Model Theory of Differential Fields with Finitely Many Commuting Derivations}, URL = {http://www.jstor.org/stable/2586576}, Volume = {65}, Year = {2000}, bdsk-url-1 = {http://www.jstor.org/stable/2586576}, date-added = {2020-04-09 14:31:19 +0200}, date-modified = {2020-04-09 14:31:19 +0200}, doi = {10.2307/2586576} }