The theory of modules of separably closed fields. I
We consider separably closed fields of characteristic $p > 0$ and fixed imperfection degree as modules over a skew polynomial ring. We axiomatize the corresponding theory and we show that it is complete and that it admits quantifier elimination in the usual module language augmented with additive functions which are the analog of the $p$-component functions.
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1190150144
Mathematical Reviews number (MathSciNet): MR1925953
Digital Object Identifier: doi:10.2178/jsl/1190150144
Zentralblatt MATH identifier: 1013.03042