Abstract
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.
Citation
Martin Ziegler. "Separably closed fields with Hasse derivations." J. Symbolic Logic 68 (1) 311 - 318, March 2003. https://doi.org/10.2178/jsl/1045861515
Information