If K is a field of finite Morley rank, then for any parameter set $A \subseteq K^{eq}$ the prime model over A is equal to the model-theoretic algebraic closure of A. A field of finite Morley rank eliminates imaginaries. Simlar results hold for minimal groups of finite Morley rank with infinite acl( $\emptyset$ ).

We prove the following theorem. Let G be a connected simple bad group (i.e. of finite Morley rank, nonsolvable and with all the Borel subgroups nilpotent) of minimal Morley rank. Then the Borel subgroups of G are conjugate to each other, and if B is a Borel subgroup of G, then $G = \bigcup_{g \in G}B^g,N_G(B) = B$ , and G has no involutions.

We present numerous natural algebraic examples without the so-called Canonical Base Property (CBP). We prove that every commutative unitary ring of finite Morley rank without finite-index proper ideals satisfies the CBP if and only if it is a field, a ring of positive characteristic or a finite direct product of these. In addition, we construct a CM-trivial commutative local ring with a finite residue field without the CBP. Furthermore, we also show that finite-dimensional (...) non-associative algebras over an algebraically closed field of characteristic [Formula: see text] give rise to triangular rings without the CBP. This also applies to Baudisch’s [Formula: see text]-step nilpotent Lie algebras, which yields the existence of a [Formula: see text]-step nilpotent group of finite Morley rank whose theory, in the pure language of groups, is CM-trivial and does not satisfy the CBP. (shrink)

We classify actions of groups of finite Morley rank on abelian groups of Morley rank 2: there are essentially two, namely the natural actions of SL(V) and GL(V) with V a vector space of dimension 2. We also prove an identification theorem for the natural module of SL₂ in the finite Morley rank category.

We show that any structure of finite Morley Rank having the definable multiplicity property has a rank and multiplicity preserving interpretation in a strongly minimal set. In particular, every totally categorical theory admits such an interpretation. We also show that a slightly weaker version of the DMP is necessary for a structure of finite rank to have a strongly minimal expansion. We conclude by constructing an almost strongly minimal set which does not have the (...) DMP in any rank preserving expansion, and ask whether this structure is interpretable in a strongly minimal set. (shrink)

We show how the notion of full Frobenius group of finite Morley rank generalizes that of bad group, and how it seems to be more appropriate when we consider the possible existence (still unknown) of nonalgebraic simple groups of finite Morley rank of a certain type, notably with no involution. We also show how these groups appear as a major obstacle in the analysis of FT-groups, if one tries to extend the Feit-Thompson theorem to (...) groups of finite Morley rank. (shrink)

We prove several results about groups of finite Morley rank without unipotent p-torsion: p-torsion always occurs inside tori, Sylow p-subgroups are conjugate, and p is not the minimal prime divisor of our approximation to the "Weyl group". These results are quickly finding extensive applications within the classification project.

The Cherlin–Zil'ber Conjecture states that all simple groups of finite Morley rank are algebraic. We prove that any minimal counterexample to this conjecture has a unique conjugacy class of Carter subgroups, which are analogous to Cartan subgroups in algebraic groups.

Journal of Mathematical Logic, Ahead of Print. We present numerous natural algebraic examples without the so-called Canonical Base Property (CBP). We prove that every commutative unitary ring of finite Morley rank without finite-index proper ideals satisfies the CBP if and only if it is a field, a ring of positive characteristic or a finite direct product of these. In addition, we construct a CM-trivial commutative local ring with a finite residue field without the CBP. (...) Furthermore, we also show that finite-dimensional non-associative algebras over an algebraically closed field of characteristic [math] give rise to triangular rings without the CBP. This also applies to Baudisch’s [math]-step nilpotent Lie algebras, which yields the existence of a [math]-step nilpotent group of finite Morley rank whose theory, in the pure language of groups, is CM-trivial and does not satisfy the CBP. (shrink)

Let G be a simple group of finite Morley rank with a definable BN-pair of rank 2 where B=UT for T=B ∩ N and U a normal subgroup of B with Z≠1. By [9] 853) the Weyl group W=N/T has cardinality 2n with n=3,4,6,8 or 12. We prove here:Theorem 1. If n=3, then G is interpretably isomorphic to PSL3 for some algebraically closed field K.Theorem 2. Suppose Z contains some B-minimal subgroup AZ with RMRM for both (...) parabolic subgroups P1 and P2. Then n=3,4 or 6 and G is interpretably isomorphic to PSL3, PSp4 or G2 for some algebraically closed field K.Theorem 3. If U is nilpotent and n≠8, then G is interpretably isomorphic to either PSL3, PSp4 or G2 for some algebraically closed field K. (shrink)

We deal with two forms of the "uniqueness cases" in the classification of large simple K*-groups of finite Morley rank of odd type, where large means the 2-rank m2 is at least three. This substantially extends results known for even larger groups having Prüfer 2-rank at least three, so as to cover the two groups PSp 4 and G 2. With an eye towards more distant developments, we carry out this analysis for L*-groups, a context (...) which is substantially broader than the K* setting. (shrink)

We define a characteristic and definable subgroup F*(G) of any group G of finite Morley rank that behaves very much like the generalized Fitting subgroup of a finite group. We also prove that semisimple subnormal subgroups of G are all definable and that there are finitely many of them.

The notion of CM-triviality was introduced by Hrushovski, who showed that his new strongly minimal sets have this property. Recently Baudisch has shown that his new ω 1 -categorical group has this property. Here we show that any group of finite Morley rank definable in a CM-trivial theory is nilpotent-by-finite, or equivalently no simple group of finite Morley rank can be definable in a CM-trivial theory.

We consider a universe of finite Morley rank and the following definable objects: a field math formula, a non-trivial action of a group math formula on a connected abelian group V, and a torus T of G such that math formula. We prove that every T-minimal subgroup of V has Morley rank math formula. Moreover V is a direct sum of math formula-minimal subgroups of the form math formula, where W is T-minimal and ζ is (...) an element of G of order 4 inverting T. (shrink)

The Alperin-Goldschmidt Fusion Theorem [1, 5], when combined with pushing up [7], was a useful tool in the classification of the finite simple groups. Similar theorems are needed in the study of simple groups of finite Morley rank, in the even type case (that is, when the Sylow 2-subgroups are of bounded exponent, as in algebraic groups over fields of characteristic 2). In that context a body of results relating to fusion of 2-elements and the structure (...) of 2-local subgroups is needed: pushing up, and the classification of groups with strongly or weakly embedded subgroups, or have strongly closed abelian subgroups (c.f, [2]). Two theorems of Alperin-Goldschmidt type are proved here. Both are needed in applications.The following is an exact analog of the Alperin-Goldschmidt Fusion Theorem for groups of finite Morley rank, in the case of 2-elements:Theorem 1.1.Let G be a group of finite Morley rank, and P a Sylow2-subgroup of G.If A, B⊆P are conjugate in G, then there are subgroups Hi≤Pand elementsxi∈N(Hi)for1 ≤i≤n,and an elementy∈N(P),such that for all i:1.Hiis a tame intersection of two Sylow2-subgroups;2.CP(Hi) ≤Hi;3.N(Hi)/Hiis2-isolatedand(a)(b). (shrink)

The Schur-Zassenhaus Theorem is one of the fundamental theorems of finite group theory. Here is its statement:Fact1.1 (Schur-Zassenhaus Theorem). Let G be a finite group and let N be a normal subgroup of G. Assume that the order ∣N∣ is relatively prime to the index [G:N]. Then N has a complement in G and any two complements of N are conjugate in G.The proof can be found in most standard books in group theory, e.g., in [S, Chapter 2, (...) Theorem 8.10]. The original statement stipulated one ofNorG/Nto be solvable. Since then, the Feit-Thompson theorem [FT] has been proved and it forces eitherNorG/Nto be solvable. (The analogous Feit-Thompson theorem for groups of finite Morley rank is a long standing open problem).The literal translation of the Schur-Zassenhaus theorem to the finite Morley rank context would state that in a groupGof finite Morley rank a normal π-Hall subgroup (if it exists at all) has a complement and all the complements are conjugate to each other. (Recall that a groupHis called aπ-group, where π is a set of prime numbers, if elements ofHhave finite orders whose prime divisors are from π. Maximal π-subgroups of a groupGare called π-Hall subgroups. They exist by Zorn's lemma. Since a normal π-subgroup ofGis in all the π-Hall subgroups, if a group has a normal π-Hall subgroup then this subgroup is unique.)The second assertion of the Schur-Zassenhaus theorem about the conjugacy of complements is false in general. As a counterexample, consider the multiplicative group ℂ* of the complex number field ℂ and consider thep-Sylow for any primep, or even the torsion part of ℂ*. LetHbe this subgroup.Hhas a complement, but this complement is found by Zorn's Lemma (consider a maximal subgroup that intersectsHtrivially) and the use of Zorn's Lemma is essential. In fact, by Zorn's Lemma, any subgroup that has a trivial intersection withHcan be extended to a complement ofH. Since ℂ* is abelian, these complements cannot be conjugated to each other. (shrink)

We study definable irreducible actions of SL₂(K) on an abelian group of Morley rank ≤ 3rk(K) and prove they are rational representations of the group.

We show that any simple group of Morley rank 4 must be a bad group with no proper definable subgroups of rank larger than 1. We also give an application to groups acting on sets of Morley rank 2.

In this paper we study the algebraic structure ofω-stable bilinear maps, arbitrary rings, and nilpotent groups. We will also provide rather complete structure theorems for the above structures in the finite Morley rank case.

We show that any simple group of Morley rank 5 is a bad group all of whose proper definable connected subgroups are nilpotent of rank at most 2. The main result is then used to catalog the nonsoluble connected groups of Morley rank 5.

Morley rank and Lascar rank are equal on generic types of definable groups in differentially closed fields with finitely many commuting derivations.

We know quite a lot about the general structure of ω-stable solvable centerless groups of finite Morley rank. Abelian groups of finite Morley rank are also well-understood. By comparison, nonabelian nilpotent groups are a mystery except for the following general results:• An ω1-categorical torsion-free nonabelian nilpotent group is an algebraic group over an algebraically closed field of characteristic 0 [Z3].• A nilpotent group of finite Morley rank is the central product of (...) a definable subgroup of finite exponent and of a definable divisible subgroup [N3].• A divisible nilpotent group of finite Morley rank is the direct product of its torsion part (which is central) and of a torsion-free subgroup [N3].However, we do not understand nilpotent groups of bounded exponent. It seems that the classification of nilpotent (but nonabelian)p-groups of finite Morley rank is impossible. Even the nilpotent groups of Morley rank 2 contain insurmountable difficulties [C], [T]. At first glance, this may seem to be an obstacle to proving the Cherlin-Zil'ber conjecture (“simple groups of finite Morley rank are algebraic groups”). Our purpose in this article is to show that if such a group is a definable subgroup of a nonnilpotent group, then it is possible to obtain a classification within the boundaries of our present knowledge. In this respect, our article may be considered as a relief to those who are trying to classify simple groups of finite Morley rank.Before explicitly stating our result, we need the following definition. (shrink)

The role played by the symmetric structure of a group of finite Morley rank without involutions in the proof by contradiction of Frécon 2018 was put in evidence in Poizat 2018; indeed, this proof consists in the construction of a symmetric space of dimension two (“a plane”), and then in showing that such a plane cannot exist.To a definable symmetric subset of such a group are associated symmetries and transvections, that we undertake here to study in the (...) abstract, without mentioning a group envelopping them. This leads us to consider axiomatically defined structures that we callsymmetrons(preferably todyadic symmetric setsas was done in Lawson & Lim 2004).Glauberman's$Z^*$-Theorem allows to elucidate completely the structure of the finite symmetrons: each of them is isomorphic to the set of symmetries associated to a symmetric subspace of a finite group without involutions, which is far from being uniquely determined. In fact, there exist non-isomorphic finite groups which have the same symmetries, and also finite symmetrons which are not isomorphic to the symmetries of a group.The situation is not so clear in the case of symmetrons of finite Morley rank, or even algebraic, which are the main objects of study of this paper. But in spite of the fact that a symmetron be a structure much weaker that a group, we can extend to symmetrons some well-known results concerning groups of finite Morley rank: chain condition, decomposition into connected components, characterisation of the generic definable subsets, elliptic generation, etc. These properties are new even in the case of a symmetric subspace of a group, and allow to bypass the computations made by Frécon during the construction of his paradoxical plane.Moreover, assuming the Algebricity Conjecture, we generalize Glauberman's Theorem to the finite Morley rank context. (shrink)

We provide a general framework for studying the expansion of strongly minimal sets by adding additional relations in the style of Hrushovski. We introduce a notion of separation of quantifiers which is a condition on the class of expansions of finitely generated models for the expanded theory to have a countable ω-saturated model. We apply these results to construct for each sufficiently fast growing finite-to-one function μ from 'primitive extensions' to the natural numbers a theory T μ of an (...) expansion of an algebraically closed field which has Morley rank 2. Finally, we show that if μ is not finite-to-one the theory may not be ω-stable. (shrink)

Borovik proposed an axiomatic treatment of Morley rank in groups, later modified by Poizat, who showed that in the context of groups the resulting notion of rank provides a characterization of groups of finite Morley rank [2]. (This result makes use of ideas of Lascar, which it encapsulates in a neat way.) These axioms form the basis of the algebraic treatment of groups of finite Morley rank undertaken in [1].There are, however, (...) ranked structures, i.e., structures on which a Borovik-Poizat rank function is defined, which are not ℵ0-stable [1, p. 376]. In [2, p. 9] Poizat raised the issue of the relationship between this notion of rank and stability theory in the following terms: “… ungroupede Borovik est une structure stable, alors qu'un univers rangé n'a aucune raison de l'être …” (emphasis added). Nonetheless, we will prove the following:Theorem 1.1.A ranked structure is superstable.An example of a non-ℵ0-stable structure with Borovik-Poizat rank 2 is given in [1, p. 376]. Furthermore, it appears that this example can be modified in a straightforward way to give ℵ0-stable structures of Borovik-Poizat rank 2 in which the Morley rank is any countable ordinal (which would refute a claim of [1, p. 373, proof of C.4]). We have not checked the details. This does not leave much room for strenghthenings of our theorem. On the other hand, the proof of Theorem 1.1 does give a finite bound for the heights of certain trees of definable sets related to unsuperstability, as we will see in Section 5. (shrink)

Theorem: For every k, there is an expansion of the theory of algebraically closed fields (of any fixed characteristic) which is almost strongly minimal with Morley rank k.

Starting from the definition of `amorphous set' in set theory without the axiom of choice, we propose a notion of rank (which will only make sense for, at most, the class of Dedekind finite sets), which is intended to be an analogue in this situation of Morley rank in model theory.

We comment on an early and inspiring remark of an Omskian mathematician concerning the Cherlin—Zilber Conjecture, meeting in passing some well-known properties of algebraic groups whose generalization to arbitrary groups of finite Morley rank seems to be very uncertain. This paper assumes a familiarity with the model theoretic tools involved in the study of the groups of finite Morley rank.

In this paper we construct a non-CM-trivial stable theory in which no infinite field is interpretable. In fact our theory will also be trivial and ω-stable, but of infinite Morley rank. A long term aim would be to find a nonCM-trivial theory which has finite Morley rank (or is even strongly minimal) and does not interpret a field. The construction in this paper is direct, and is a “3-dimensional” version of the free pseudoplane. In a (...) sense we are cheating: the original point of the notion ofCM-triviality was to describe the geometry of a strongly minimal set, or even of a regular type. In our example, non-CM-triviality will come from the behaviour of three orthogonal regular types.A stable theory is said to beCM-trivial if wheneverA⊆Band acl(Ac) ∩ acl(B) = acl(A) inTeq, then Cb(stp(c/A)) ⊆ Cb(stp(c/B)). ( An infinite stable field will not beCM-trivial.) The notion is due to Hrushovski [3], where he gave several equivalent definitions, as well as showing that his new strongly minimal sets constructed “ab ovo” wereCM-trivial. The notion was studied further in [6] where it was shown thatCM-trivial groups of finite Morley rank are nilpotent-by-finite. These results were generalized in various ways to the superstable case in [8]. (shrink)

We give a reduction of the function field Mordell–Lang conjecture to the function field Manin–Mumford conjecture, for abelian varieties, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski geometries. Additional ingredients include the “Theorem of the Kernel”, and a result of Wagner on commutative groups of finite Morley rank without proper infinite definable subgroups. In positive characteristic, where the main interest lies, there is one more crucial ingredient: “quantifier-elimination” for the (...) corresponding [Formula: see text] where [Formula: see text] is a saturated separably closed field. (shrink)

We prove conjugacy and generic disjointness of generous Carter subgroups in groups of finite Morley rank. We elaborate on groups with a generous Carter subgroup and on a minimal counterexample to the Genericity Conjecture.

In this note we study some local properties ofω-stable groups of finite Morley rank.

Generalizedn-gons are certain geometric structures (incidence geometries) that generalize the concept of projective planes (the nontrivial generalized 3-gons are exactly the projective planes).In a simplified world, every generalizedn-gon of finite Morley rank would be an algebraic one, i.e., one of the three families described in [9] for example. To our horror, John Baldwin [2], using methods discovered by Hrushovski [7], constructed ℵ1-categorical projective planes which are not algebraic. The projective planes that Baldwin constructed fail to be algebraic (...) in a dramatic way.Indeed, every algebraic projective plane over an algebraically closed field is Desarguesian [12]. In particular, an algebraically closed field (isomorphic to the base field) can be interpreted in every one of them. However, in the projective planes that Baldwin constructed, one cannot even interpret an infinite group.In this article we show that the same phenomenon occurs for the generalizedn-gons ifn≥ 3 is an odd integer. For each suchnwe constructmany nonisomorphic generalizedn-gons of finite Morley rank that do not interpret an infinite group. As one may expect, our method is inspired by Hrushovski and Baldwin, and we follow Baldwin's line of approach. Quite often our proofs are a verification of the fact that the proofs of Baldwin [2] forn= 3 carry over to an arbitrary positive odd integern(which is sometimes far from being obvious). As in [2], we begin by defining a certain collection of finite graphsK* and a binary relation ≤ on these graphs. We show that (K*, ≤) satisfies the amalgamation property. (shrink)

We show that if G is a group of finite Morley rank, then the verbal subgroup is of finite width, where w is a concise word. As a byproduct, we show that if G is any abelian-by-finite group, then Gn= is definable.

In this paper the following theorem is proved regarding groups of finite Morley rank which are perfect central extensions of quasisimple algebraic groups.Theorem1.Let G be a perfect group of finite Morley rank and let C0be a definable central subgroup of G such that G/C0is a universal linear algebraic group over an algebraically closed field; that is G is a perfect central extension of finite Morley rank of a universal linear algebraic group. (...) Then C0= 1.Contrary to an impression which exists in some circles, the center of the universal extension of a simple algebraic group, as an abstract group, is not finite in general. Thus the finite Morley rank assumption cannot be omitted.Corollary1.Let G be a perfect group of finite Morley rank such that G/Z(G) is a quasisimple algebraic group. Then G is an algebraic group. In particular, Z(G) is finite([4],Section27.5).An understanding of central extensions of quasisimple linear algebraic groups which are groups of finite Morley rank is necessary for the classification oftamesimpleK*-groupsof finite Morley rank, which constitutes an approach to the Cherlin-Zil’ber conjecture. For this reason the theorem above and its corollary were proven in [1] (Theorems 4.1 and 4.2) under the assumption oftameness, which simplifies the argument considerably. The result of the present paper shows that this assumption can be dropped. The main line of argument is parallel to that in [1]; the absence of the tameness assumption will be countered by a model-theoretic result and results fromK-theory. The model-theoretic result places limitations on definability in stable fields, and may possibly be relevant to eliminating certain other uses of tameness. (shrink)

One of the purposes of this paper is to prove a partial Schur-Zassenhaus Theorem for groups of finite Morley rank.Theorem 2.Let G be a solvable group of finite Morley rank. Let π be a set of primes, and let H ⊲ G a normal π-Hall subgroup. Then H has a complement in G.This result has been proved in [1] with the additional assumption thatGis connected, and thought to be generalized in [2] by the authors (...) of the present article. Unfortunately in the last section of the latter paper there is an irrepairable mistake. Here we give a new proof of the Schur-Zassenhaus Theorem using the results of [2] up to the last section and a new result that we are going to state below.The second author has shown in [11] that a nilpotentω-stable group is the central product of a divisible subgroup and a subgroup of bounded exponent, generalizing a well-known result of Angus Macintyre about abelian groups [8]. One could ask a similar question for solvable groups: are they a product of two subgroups, one divisible, one of bounded exponent? One is allowed to be hopeful because of the well-known decomposition of the connected solvable algebraic groups over algebraically closed fields as the product of the unipotent radical and a torus. (shrink)

It is proved that all groups of finite U-rank that have the descending chain condition on definable subgroups are totally transcendental. A corollary is that any stable group that is definable in an o-minimal structure is totally transcendental of finite Morley rank.

We prove that a nonabelian superstable CSA-group has an infinite definable simple subgroup all of whose proper definable subgroups are abelian. This imply in particular that the existence of nonabelian CSA-group of finite Morley rank is equivalent to the existence of a simple bad group all whose definable proper subgroups are abelian. We give a new proof of a result of Mustafin and Poizat [E. Mustafin, B. Poizat, Sous-groupes superstables de SL2 ] which states that a superstable (...) model of the universal theory of nonabelian free groups is abelian. We deduce also that a superstable torsion-free hyperbolic group is cyclic. We close the paper by showing that an existentially closed CSA*-group is not superstable. (shrink)

We prove here:Theorem. LetT be a countable complete superstable non ω-stable theory with fewer than continuum many countable models. Then there is a definable groupG with locally modular regular generics, such thatG is not connected-by-finite and any type inG eq orthogonal to the generics has Morley rank.Corollary. LetT be a countable complete superstable theory in which no infinite group is definable. ThenT has either at most countably many, or exactly continuum many countable models, up to isomorphism.

Let T be superstable. We say a type p is weakly minimal if R(p, L, ∞) = 1. Let $M \models T$ be uncountable and saturated, H = p(M). We say $D \subset H$ is locally modular if for all $X, Y \subset D$ with $X = \operatorname{acl}(X) \cap D, Y = \operatorname{acl}(Y) \cap D$ and $X \cap Y \neq \varnothing$ , dim(X ∪ Y) + dim(X ∩ Y) = dim(X) + dim(Y). Theorem 1. Let p ∈ S(A) be weakly (...) minimal and D the realizations of $\operatorname{stp}(a/A)$ for some a realizing p. Then D is locally modular or p has Morley rank 1. Theorem 2. Let H, G be definable over some finite A, weakly minimal, locally modular and nonorthogonal. Then for all $a \in H\backslash\operatorname{acl}(A), b \in G\operatorname{acl}(A)$ there are a' ∈ H, b' ∈ G such that $a' \in \operatorname{acl}(abb' A)\backslash\operatorname{acl}(aA)$ . Similarly when H and G are the realizations of complete types or strong types over A. (shrink)

We define an appropriate analog of the Morley rank in a totally transcendental homogeneous model with type diagram D. We show that if RM[p] = α then for some 1 ≤ n < ω the type p has n, but not n + 1, distinct D-extensions of rank α. This is surprising, because the proof of the statement in the first-order case depends heavily on compactness. We also show that types over (D,ℵ₀)-homogeneous models have multiplicity (Morley (...) degree) 1. (shrink)

Summary. From known examples of theories T obtained by Hrushovski-constructions and of infinite Morley rank, properties are extracted, that allow the collapse to a finite rank substructure. The results are used to give a more model-theoretic proof of the existence of the new uncountably categorical groups in [3].

Contents: Recursive Enumerability and the Jump Operator; On the Degrees Less Than 0'; A Simple Set Which Is Not Effectively Simple; The Recursively Enumerable Degrees Are Dense; Metarecursive Sets (with G Kreisel); Post's Problem, Admissible Ordinals and Regularity; On a Theorem of Lachlan and Marlin; A Minimal Hyperdegree (with R O Gandy); Measure-Theoretic Uniformity in Recursion Theory and Set Theory; Forcing with Perfect Closed Sets; Recursion in Objects of Finite Type; The a-Finite Injury Method (with S G Simpson); (...) Remarks Against Foundational Activity; Countable Admissible Ordinals and Hyperdegrees; The 1-Section of a Type n Object; The k-Section of a Type n Object; Post's Problem, Absoluteness and Recursion in Finite Types; Effective Bounds on Morley Rank; On the Number of Countable Models; Post's Problem in E-Recursion; The Limits of E-Recursive Enumerability; Effective Versus Proper Forcing. (shrink)

This paper studies some model-theoretic properties of special groups of finite type. Special groups are a first-order axiomatization of the algebraic theory of quadratic forms, introduced by Dickmann and Miraglia, which is essentially equivalent to abstract Witt rings. More precisely, we consider elementary equivalence, saturation, elementary embeddings, quantifier elimination, stability and Morley rank.

Theorem A. Let M be a left R-module such that Th(M) is small and weakly minimal, but does not have Morley rank 1. Let $A = \mathrm{acl}(\varnothing) \cap M$ and $I = \{r \in R: rM \subset A\}$ . Notice that I is an ideal. (i) F = R/I is a finite field. (ii) Suppose that a, b 0 ,...,b n ∈ M and a b̄. Then there are s, r i ∈ R, i ≤ n, such (...) that sa + ∑ i ≤ n r ib i ∈ A and $s \not\in I$ . It follows from Theorem A that algebraic closure in M is modular. Using this and results in [B1] and [B2], we obtain Theorem B. Let M be as in Theorem A. Then Vaught's conjecture holds for Th(M). (shrink)

We show that every definable subset of an uncountably categorical pseudofinite structure has pseudofinite cardinality which is polynomial (over the rationals) in the size of any strongly minimal subset, with the degree of the polynomial equal to the Morley rank of the subset. From this fact, we show that classes of finite structures whose ultraproducts all satisfy the same uncountably categorical theory are polynomial R-mecs as well as N-dimensional asymptotic classes, where N is the Morley (...) class='Hi'>rank of the theory. (shrink)