Fields of characteristic zero with several commuting derivations can
be treated as fields equipped with a space of derivations that
is closed under the Lie bracket. The existentially closed instances
of such structures can then be given a coordinate-free
characterization in terms of differential forms. The main tool for
doing this is a generalization of the Frobenius Theorem of
differential geometry.
Publié le : 2003-09-14
Classification:
03C60,
03C10,
12H05,
12L12,
13Nxx
@article{1058448448,
author = {Pierce, David},
title = {Differential forms in the model theory of differential fields},
journal = {J. Symbolic Logic},
volume = {68},
number = {1},
year = {2003},
pages = { 923- 945},
language = {en},
url = {http://dml.mathdoc.fr/item/1058448448}
}
Pierce, David. Differential forms in the model theory of differential fields. J. Symbolic Logic, Tome 68 (2003) no. 1, pp. 923- 945. http://gdmltest.u-ga.fr/item/1058448448/