### The theory of modules of separably closed fields. I

Pilar Dellunde, Françoise Delon, and Françoise Point
Source: J. Symbolic Logic Volume 67, Issue 3 (2002), 997-1015.

#### Abstract

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.

First Page:
Primary Subjects: 03C10
Secondary Subjects: 03C60, 16B70