Hide/Show Apps

Geometric characterizations of existentially closed fields with operators

Pierce, D
This paper concerns the basic model-theory of fields of arbitrary characteristic with operators. Simplified geometric axioms are given for the model-companion of the theory of fields with a derivation. These axioms generalize to the case of several commuting derivations. Let a D-field be a field with a derivation or a difference-operator, called D. The theory of D-fields is companionable. The existentially closed D-fields can be characterized geometrically without distinguishing the two cases in which D can fall. The class of existentially closed fields with a derivation and a difference-operator is elementary only in characteristic 0.