We carry out some of Galois' work in the setting of an arbitrary first-order theory T. We replace the ambient algebraically closed field by a large model M of T, replace fields by definably closed subsets of M, assume that T codes finite sets, and obtain the fundamental duality of Galois theory matching subgroups of the Galois group of L over F with intermediate extensions F ≤ K ≤ L. This exposition of a special case of [10] has the advantage (...) of requiring almost no background beyond familiarity with fields, polynomials, first-order formulae, and automorphisms. (shrink)

We introduce and study the notions of a PAC-substructure of a stable structure, and a bounded substructure of an arbitrary substructure, generalizing [10]. We give precise definitions and equivalences, saying what it means for properties such as PAC to be first order, study some examples (such as differentially closed fields) in detail, relate the material to generic automorphisms, and generalize a "descent theorem" for pseudo-algebraically closed fields to the stable context. We also point out that the elementary invariants of pseudo-algebraically (...) closed fields from [6] are also valid for pseudo-differentially closed fields. (shrink)

If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.

We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense. We place this work in a more general context of the model theory of fields with a group scheme action.

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)

We study the degree of elimination of imaginaries needed for the three main applications: to have canonical bases for types over models, to define strong types as types over algebraically closed sets and to have a Galois correspondence between definably closed sets B such that A ⊆ B ⊆ acl and closed subgroups of the Galois group Aut/A). We also characterize when the topology of the Galois group is the quotient topology.

For a theory T in L, T σ is the theory of the models of T with an automorphism σ. If T is an unstable model complete theory without the independence property, then T σ has no model companion. If T is an unstable model complete theory and T σ has the amalgamation property, then T σ has no model companion. If T is model complete and has the fcp, then T σ has no model completion.

We are concerned with identifying by how much a finite cover of an 0-categorical structure differs from a sequence of free covers. The main results show that this is measured by automorphism groups which are nilpotent-by-abelian. In the language of covers, these results say that every finite cover can be decomposed naturally into linked, superlinked and free covers. The superlinked covers arise from covers over a different base, and to describe this properly we introduce the notion of a quasi-cover.These results (...) generalise results of the second author obtained in the case where the base of the cover is a grassmannian of a disintegrated set. They also give a complete proof of a statement of the second author extending this case to the case of a grassmannian of a modular set. To do this, we need to analyse the possible superlinked covers of such a set.We also give a combinatorial condition on the base of a cover which guarantees various chain conditions on finite covers over this base, and introduce a pregeometry which is useful in the analysis of finite covers with simple fibre groups. (shrink)

Bounded PAC substructures of models of stable theory T are generalizations of bounded PAC fields and bounded PAC beautiful pairs generalize Poizat's beautiful pairs. Both notions were introduced in the authors Ph.D. thesis. In this paper, we prove that under the assumption that the PAC property is first order for T, the theory of any bounded PAC structure is simple. Moreover, if the PAC property is first order for T and T does not have the finite cover property, then the (...) theory of any bounded PAC beautiful pair is simple. We, also, give a characterization of dividing in both cases. (shrink)