The model theory of separably closed fields was first investigated by Ersov. Among other things he proved that the first-order theory of separably closed fields of a fixed characteristic p / 0 and of fixed degree of imperfection e £ ω U {00} is complete, see [6]. In 1979 C. Wood (see [24]) showed that these theories are stable, but not superstable, yielding the only examples of stable, non-superstable fields. Further model theoretic properties of these fields, like quantifier elimination, equationality, the independence relation, DOP, etc. were analysed. In 1988 F. Delon (see [5]) 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. In 1992, E. Hrushovski gave a model theoretic proof of the Mordell-Lang conjecture for function fields. In the case of characteristic p φ 0 he used some of the model theoretic tools for separably closed fields, in particular an analysis of minimal types and the author's results on definability in separably closed fields. A separably closed field can be equipped with a differential structure. Accounts of this line of work can be found in [21,22,23,10]. The purpose of these notes is to give an overview of the known results in the model theory of separably closed fields with special emphasis on the case of finite degree of imperfection. When discussing elimination of imaginaries, we give a general outline of how this property can be proved in all known examples of stable fields with additional structure
[1]
M. Rosenlicht,et al.
Some Basic Theorems on Algebraic Groups
,
1956
.
[2]
Anand Pillay,et al.
Introduction to stability theory
,
1983,
Oxford logic guides.
[3]
Carol Wood,et al.
Notes on the stability of separably closed fields
,
1979,
Journal of Symbolic Logic.
[4]
W. Hodges.
CLASSIFICATION THEORY AND THE NUMBER OF NON‐ISOMORPHIC MODELS
,
1980
.
[5]
Bruno Poizat,et al.
Une théorie de Galois imaginaire
,
1983,
Journal of Symbolic Logic.
[6]
Carol Wood.
The model theory of differential fields revisited
,
1976
.
[7]
Elisabeth Bouscaren.
Model Theoretic Versions of Weil's Theeorem on PreGroups
,
1989
.
[8]
Carol Wood,et al.
Separably closed fields with higher derivations I
,
1995,
Journal of Symbolic Logic.
[9]
Françoise Delon,et al.
Idéaux et types sur les corps séparablement clos
,
1988
.
[10]
The model theory of differential fields of characteristic ̸=0
,
1973
.
[11]
Saharon Shelah,et al.
Superstable fields and groups
,
1980
.
[12]
Gabriel Srour,et al.
The Independence Relation in Separably Closed Fields
,
1986,
J. Symb. Log..
[13]
Carol Wood.
Prime Model Extensions for Differential Fields of Characteristic p ? 0
,
1974,
J. Symb. Log..
[14]
Elisabeth Bouscaren.
Dimensional Order Property and Pairs of Models
,
1989,
Ann. Pure Appl. Log..
[15]
Bruno Poizat,et al.
A group in a group
,
1990
.
[16]
A. Weil,et al.
On Algebraic Groups of Transformations
,
1955
.
[17]
M. Messmer.
Groups and fields interpretable in separably closed fields
,
1994
.