This paper is concerned with extensions of geometric stability theory to some nonelementary classes. We prove the following theorem: Theorem. Let [Formula: see text] be a large homogeneous model of a stable diagram D. Let p, q ∈ SD(A), where p is quasiminimal and q unbounded. Let [Formula: see text] and [Formula: see text]. Suppose that there exists an integer n < ω such that [Formula: see text] for any independent a1, …, an ∈ P and finite subset C ⊆ Q, but [Formula: see text] for some independent a1, …, an, an+1 ∈ P and some finite subset C ⊆ Q. Then [Formula: see text] interprets a group G which acts on the geometry P′ obtained from P. Furthermore, either [Formula: see text] interprets a non-classical group, or n = 1,2,3 and •If n = 1 then G is abelian and acts regularly on P′. •If n = 2 the action of G on P′ is isomorphic to the affine action of K ⋊ K* on the algebraically closed field K. •If n = 3 the action of G on P′ is isomorphic to the action of PGL2(K) on the projective line ℙ1(K) of the algebraically closed field K. We prove a similar result for excellent classes.
INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES
