We study structures equipped with generic predicates and/or automorphisms, and show that in many cases we obtain simple theories. We also show that a bounded PAC field is simple. 1998 Published by Elsevier Science B.V. All rights reserved.

We introduce the notion T does not omit obstructions. If a stable theory does not admit obstructions then it does not have the finite cover property . For any theory T, form a new theory $T_{\rm Aut}$ by adding a new unary function symbol and axioms asserting it is an automorphism. The main result of the paper asserts the following: If T is a stable theory, T does not admit obstructions if and only if $T_{\rm Aut}$ has a model companion. (...) The proof involves some interesting new consequences of the nfcp. (shrink)

Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T{“σ is an automorphism”} is an elementary class if and only if T has the definable multiplicity property, as long as T is a finite cover of a strongly minimal theory which does have the definable multiplicity property. We obtain cleaner results working with several automorphisms, and prove: the class of existentially closed models of T{“σi is an automorphism”: i=1,2} is (...) an elementary class if and only if T has the definable multiplicity property. (shrink)