Separably closed fields with Hasse derivations
Ziegler, Martin
J. Symbolic Logic, Tome 68 (2003) no. 1, p. 311-318 / Harvested from Project Euclid
In \cite{MessmerW1995} Messmer and Wood proved quantifier elimination for separably closed fields of finite Ershov invariant $e$ equipped with a (certain) \Hde. We propose a variant of their theory, using a sequence of $e$ commuting \Hds. In contrast to \cite{MessmerW1995} our \Hds are iterative.
Publié le : 2003-03-14
Classification: 
@article{1045861515,
     author = {Ziegler, Martin},
     title = {Separably closed fields with Hasse derivations},
     journal = {J. Symbolic Logic},
     volume = {68},
     number = {1},
     year = {2003},
     pages = { 311-318},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1045861515}
}
Ziegler, Martin. Separably closed fields with Hasse derivations. J. Symbolic Logic, Tome 68 (2003) no. 1, pp.  311-318. http://gdmltest.u-ga.fr/item/1045861515/