ABSTRACT

The model theory of separably closed fields was first investigated by Ersov. Among other things he proved that the first-order theory of separablv closed fields of a fixed characteristic and ot fixed degree ot imperfection is complete, see fill. In 1979 C. Wood (see [29]) showed that these theories are stable, but not superstable, yielding the only known examples of stable, non-superstable fields. Further model theoretic properties of these fields, like quantifier elimination, equationality, the independence relation, DOP , etc. were analyzed. In 1988 F. Delon (see [9]) published a comprehensive article in which she investigated types in terms of their associated ideals in an appropriate polynomial ring, in particular proving elimination of imaginaries and giving a detailed analysis of different notions of rank.