## MULTIDIMENSIONAL ASYMPTOTIC CLASSES

SYLVY ANSCOMBE, DUGALD MACPHERSON, CHARLES STEINHORN AND DANIEL WOLF

Abstract. We develop a general framework (multidimensional asymptotic classes, or m.a.c.s) for handling classes of finite first order structures with a strong uniformity condition on cardinalities of definable sets: The condition asserts that definable families given by a formula ϕ x, y (¯ ¯) should take on a fixed number n ϕ of approximate sizes in any M in the class, with those sizes varying with M . The prototype is the class of all finite fields, where the uniformity is given by a theorem of Chatzidakis, van den Dries and Macintyre. It inspired the development of asymptotic classes of finite structures, which this new framework extends.

The underlying theory of m.a.c.s is developed, including preservation under bi-interpretability, and a proof that for the m.a.c. condition to hold it suffices to consider formulas ϕ x, y ( ¯) with x a single variable. Many examples of m.a.c.s are given, including 2sorted structures ( F, V ) where V is a vector space over a finite field F possibly equipped with a bilinear form, and an example arising from representations of quivers of finite representation type. We also give examples and structural results for multidimensional exact classes (m.e.c.s), where the definable sets take a fixed number of precisely specified cardinalities, which again vary with M .

We also develop a notion of infinite generalised measurable structure, whereby definable sets are assigned values in an ordered semiring. We show that any infinite ultraproduct of a m.a.c. is generalised measurable, that values can be taken in an ordered ring if the m.a.c. is a m.e.c., and explore model-theoretic consequences of generalised measurability. Such a structure cannot have the strict order property, and stability-theoretic properties can be read off from the measures in the semiring.

## Contents

| 1.   | Introduction                                          |   2 |
|------|-------------------------------------------------------|-----|
| 1.1. | Notation, conventions, and model-theoretic background |   6 |
| 2.   | Multidimensional asymptotic and exact classes         |   7 |
| 2.1. | Key definitions                                       |   7 |

August 2, 2024

This research was funded by EPSRC grant EP/K020692/1. The third author was partially funded by Simons Foundation Mathematics and Physical Sciences Collaboration Grant for Mathematicians, award #524012. The fourth author (born Daniel Wood) was funded by the Leeds School of Mathematics through a Graduate Teaching Assistantship. Part of the present work forms part of his PhD thesis [74].

| 2.2.             | Examples of m.a.c.s and m.e.c.s                            | 9                     |
|------------------|------------------------------------------------------------|-----------------------|
| 2.3.             | Non-examples associated with finite fields                 | 13                    |
| 2.4.             | Projection Lemma                                           | 16                    |
| 2.5.             | Interpretability and bi-interpretability                   | 18                    |
| 3.               | Three examples of multidimensional asymptotic classes      | 26                    |
| 3.1.             | Families of vector spaces.                                 | 26                    |
| 3.2.             | A m.a.c. from representation theory.                       | 28                    |
| 3.3.             | Vector spaces with bilinear forms                          | 31                    |
| 4.               | Multidimensional exact classes                             | 33                    |
| 4.1.             | Smooth approximation and m.e.c.s of homogeneous structures | 33                    |
| 4.2.             | M.e.c.s of groups                                          | 38                    |
| 4.3.             | Other examples of m.e.c.s                                  | 44                    |
| 5.               | Generalised measurable structures                          | 46                    |
| 5.1.             | Measuring semirings                                        | 47                    |
| 5.2.             | S -measurable structures                                   | 54                    |
| 5.3.             | Ultraproducts of m.a.c.s                                   | 56                    |
| 5.4.             | Some basic model-theoretic properties of generalized       | measurable structures |
| 6.               | Simplicity and supersimplicity                             | 65                    |
| 6.1.             | Ordered polynomial rings with well-ordered variables       | 65                    |
| 6.2.             | Locally well-ordered dimensions                            | 68                    |
| 6.3.             | Quasifinite fields                                         | 69                    |
| 7.               | Further Observations                                       | 70                    |
| Acknowledgements | Acknowledgements                                           | 73                    |
| References       | References                                                 | 73                    |

## 1. Introduction

A classical theorem of Lang and Weil (see [53, Theorem 1]) states that the number of F q -rational points of an absolutely irreducible variety V ⊆ P n defined over F q is approximately equal to q r , where F q is the finite field of order q and V is of algebraic dimension r . 'Approximately' here means that the difference ∣ ∣ | V ( F q ) | -q r ∣ ∣ is bounded by a constant multiple of q r -1 2 . This constant depends only on certain information about V : namely n , r , and the degrees of the polynomials defining V . Using 'big O notation', we may re-write this approximation (sacrificing some information) as an asymptotic statement:

(1) ∣ ∣ | V ( F q ) | -q r ∣ ∣ = O q ( r -1 2 ) as q →∞ . Later work of Chatzidakis, van den Dries, and Macintyre (see [14, Main Theorem]) extends these asymptotics to definable sets in finite fields, in the language of rings L ring . More precisely, for any L ring -formula ϕ x y (¯; ¯), there is a finite set D ⊆ { 0 , . . . , | ¯ x |} × Q &gt; 0 such that for each prime power q and each ¯ b ∈ F | ¯ y | q either ϕ ( F | ¯ x | q ; ¯ ) is empty or there exists b 2

( d, µ ) ∈ D such that

(2) ∣ ∣ | ϕ ( F | ¯ x | q ; ¯ ) b | -µq d ∣ ∣ = O q ( d -1 2 ) as q →∞ . In this case, d is known as the 'dimension' and µ as the 'measure' of the set ϕ ( F | ¯ x | q ; ¯ ). b Moreover, the set of ¯ such that (2) holds for a specified b ( d, µ ) is uniformly definable by an L ring -formula without parameters.

With a change of perspective, in [57] Macpherson and Steinhorn turned these asymptotic results into a definition: Roughly speaking, a class C of finite L -structures is called a 1 -dimensional asymptotic class if it satisfies the Chatzidakis-van den Dries-Macintyre Theorem. In [24], Elwes generalised this further to study ' N -dimensional asymptotic classes'; see Example 2.2.1 below for details. By a theorem of Ryten [65, Theorem 1.1.1], for any fixed Lie type τ (possibly twisted) the collection of all finite simple groups of Lie type τ is an asymptotic class.

In [57] the authors also introduced the notion of a measurable structure - this is an infinite structure such that dimension-measure pairs ( d, µ ) can be assigned to definable sets, in the manner that follows for pseudofinite fields from the theorem of Chatzidakis, van den Dries and Macintyre. Measurability has content from the viewpoint of modeltheoretic generalised stability theory - measurable structures are supersimple of finite SU-rank. Elwes in [24] (see also [25, Proposition 3.9]) noted among other results that any ultraproduct of an asymptotic class is measurable, and also in [24, Proposition 6.5] that any stable measurable structure is one-based. [57] gives a range of examples of measurable structures.

Aspects of this work were followed up by Garcia, Macpherson and Steinhorn in [30]. That paper considers the Hrushovski-Wagner notion of pseudofinite dimension (see [38, 39]), identifying conditions on this dimension which ensure that an ultraproduct of finite structures is supersimple (or simple, or stable) and showing that the conditions that imply supersimplicity hold for asymptotic classes. The present paper revisits some examples from [30], but we do not fully explore the connections between our work here and that of [30].

The notion of asymptotic class is very restrictive, implying that ultraproducts have finite SU-rank, and with nearly all the known examples closely related to finite fields. In addition, there are very simple examples which fail the definition because of their many-sorted nature. One such, in a language L with a single unary predicate P , would be the collection of all finite structures ( M,P ). This is not an asymptotic class since P can pick out an arbitrarily sized subset of M , but this is the only obstruction.

In this paper we develop a considerably broader framework. We still consider classes of finite structures, and still impose that for any formula ϕ x, y (¯ ¯) determining a family of definable sets in each structure

parameterized by ¯, y there is a uniform finite bound on the number of (approximate) sizes of these sets in each structure, together with a corresponding definability clause, analogous to definability of Morley rank or degree. In the definition of a multidimensional asymptotic class (m.a.c.) of finite structures, we allow different parts of the finite structures - e.g. sorts, or definable sets, or coordinatising geometries to vary independently, and we do not specify the form of the functions determining cardinalities. We obtain extra model-theoretic information, e.g. supersimplicity of the limit theory, when these functions are known. We separate out the regime of a multidimensional exact class (m.e.c.) when the cardinalities of definable sets are given exactly , rather than just asymptotically. When the cardinalities of definable sets are determined by polynomials, we talk of a polynomial m.a.c. (or m.e.c.). We also develop the notion of a generalised measurable infinite structure, the appropriate analogue of a measurable structure, and draw connections to m.a.c.s and m.e.c.s.

We now summarise the main results, with fuller definitions and more detailed and precise statements appearing later in the paper.

## Theorem A. Let C be a class of finite structures.

- (ii) (Interpretability, Theorem 2.5.4(i) ) If the class D is uniformly interpretable in C and C is a m.a.c (respectively m.e.c.) then D is a weak m.a.c. (respectively weak m.e.c.).
- (i) (One variable criterion, Theorem 2.4.1 ) If all formulas ϕ x, y ( ¯) satisfy the definition of a m.a.c. (or m.e.c.) for C then so do all formulas ϕ x, y (¯ ¯) , that is, C is a m.a.c. (respectively m.e.c.).
- (iii) (Bi-interpretability, Theorem 2.5.4(ii) ) In (ii), the word 'weak' can be dropped if C and D are uniformly bi-interpretable.

The next theorem gives two key motivating examples.

## Theorem B.

- (i) (Theorem 3.2.1.) Let Q be a quiver of finite representation type, and let C ( Q ) be the set of all finite structures ( F, FQ, M ) , where F is a finite field, FQ is the path algebra of Q over F , and M is a finite FQ -module, viewed in a 3-sorted language where F and FQ both carry (copies of) the language of rings, M carries the language of groups, and there are function symbols for the maps F × FQ → FQ F , × M → M FQ , × M → M . Then C ( Q ) is a weak polynomial m.a.c..
- (ii) (Theorem 3.3.3.) Let C bil be the collection of all L bil structures ( V, F ) where V is a finite-dimensional vector space over the finite field F , equipped with a non-degenerate alternating bilinear form β . Let R = Q ( F V )[ ] . Then C bil is an R -m.a.c..

The following theorem provides a wide range of examples of multidimensional exact classes.

Theorem C. The following are multidimensional exact classes (polynomial m.e.c.s in (i), (ii) and (iv)).

- (i) (Theorem 4.3.1.) For any pseudofinite strongly minimal set M , any class of finite structures whose non-principal ultraproducts are all elementarily equivalent to M .
- (ii) (Theorem 4.2.3.) The class of all finite abelian groups.
- (iii) (Theorem 4.3.3.) For any d ∈ N , the class of all finite graphs of degree at most d .

## In addition

- (iv) (Theorem 4.1.2.) for any finite language L and d ∈ N , the class of all finite L -structures M such that Aut( M ) has at most d orbits on M 4 is a m.e.c., after expansion to a finite extension L ′ ⊇ L that does not change the automorphism groups.

Note that part (iv) involves a correction to [73, Corollary 4.4.2], discussed below before Theorem 4.1.2.

We note that (i) has been extended to pseudofinite uncountably categorical structures in [1]. As a partial converse to (ii) above we obtain the following.

Proposition 4.2.1. If C is a m.e.c. of finite groups, then there is d ∈ N such that each G ∈ C has a (uniformly definable across C ) soluble radical R G ( ) of index at most d , and R G /F G ( ) ( ) has derived length at most d , where F G ( ) is the Fitting subgroup of G .

We also prove the following result, and conjecture that it holds for all finite relational languages (the right-to-left direction follows from Theorem C(iv) and the work of Lachlan).

Theorem D. (Proposition 4.1.5 and Theorem 4.1.6.) Let M be a countably infinite homogeneous graph. Then M is elementarily equivalent to an ultraproduct of a m.e.c. if and only if it is stable.

Regarding generalised measurability, we introduce the notion of (totally ordered) measuring semiring and show in Theorem 5.1.14 that any measuring semiring may be replaced by a homomorphic image which is a 'monomial' measuring semiring R 〈 Z D 〉 consisting of monomials rZ d for d ∈ D and r ∈ R ≥ 0 . Here Z is an indeterminate, and the set D of 'dimensions' of definable sets is a 'tropical' semiring. This 'monomialisation' has useful consequences, e.g. in ensuring that generalised measurability is inherited by M eq (Proposition 5.2.7). The following result links generalised measurability to m.a.c.s. and m.e.c.s.

## Theorem E.

- (i) (Theorem 5.3.1.) If C is a m.a.c. then any ultraproduct of C is generalised measurable.
- (ii) (Theorem 5.3.8.) If C is a m.e.c. then any ultraproduct of C is ring-measurable, that is, generalised measurable with values in an ordered ring (an integral domain).

We also explore model-theoretic consequences of generalised measurability, and a sample of results is the following. A theory T has the strict order property if some model of T has an interpretable partial order containing an infinite totally ordered subset. For the notion of functional unimodularity , see Definition 5.4.2. (This was called just unimodularity in [24] - certain confusions related to the usage in [37] were clarified later in [44].)

## Theorem F.

- (i) (Proposition 5.2.3.) Generalised measurability is preserved by elementary equivalence.
- (ii) (Proposition 5.4.1 and Lemma 5.4.3.) If M is generalised measurable then Th( M ) does not have the strict order property and is functionally unimodular.
- (iii) (Proposition 5.4.4.) If M is ring-measurable then any definable function from a definable set in M to itself is injective if and only if it is surjective.
- (iv) (Theorem 6.1.4.) If M is generalised measurable with well-ordered set of 'dimensions' D (e.g. if M is an ultraproduct of a polynomial m.a.c.) then Th( M ) is supersimple.

Here is the overall structure of the paper. We introduce the basic definitions around multidimensional asymptotic and exact classes in Section 2 and then, referring ahead for full details, give a brief overview of some key examples. We also consider certain structures related to finite fields which we half-expected to yield examples, and show that they do not. Section 2 also contains the proof of Theorem A. The two key examples in Theorem B are considered in Section 3, along with multisorted structures of the form ( F, V , . . . , V 1 t ) where F is a finite field and the V i are finite-dimensional F -vector spaces. Multidimensional exact classes are explored in detail in Section 4, which includes results yielding Theorem C, Proposition 4.2.1, and Theorem D. The general theory around generalised measurability is developed in Sections 5 and 6, with Section 6 focussing on stability-theoretic consequences. We conclude with some open questions in Section 7.

## 1.1. Notation, conventions, and model-theoretic background.

Throughout this paper, L is a first-order language, L -structures are usually denoted by M or N , and 'definable' means 'definable with parameters'. For a tuple ¯ of variables and a set x A A , | ¯ x | denotes the set of | ¯ -tuples x | from A . For a structure M , let Def( M ) denote the collection of sets in M which are definable with parameters. A definable family in M is a set { ϕ M ( | ¯ x | ; ¯ ) : b ¯ b ∈ M | ¯ y | } , for some formula ϕ x y (¯; ¯).

The paper makes occasional reference to concepts from generalised stability theory, in particular stability, simplicity, and NSOP . 1 These

are increasingly broad notions of model-theoretic tameness for first order theories. For stability, simplicity and other model-theoretic background, [68] can be used as a general source. More detail on simple theories can be found in [46] or [69]. The general theory around NSOP 1 has been developed more recently, and [63] provides an introduction.

## 2. Multidimensional asymptotic and exact classes

2.1. Key definitions. For a class C of L -structures and a tuple ¯ of y variables, we denote by ( C , y ¯) the set { ( M,a ¯) : M ∈ C , a ¯ ∈ M | ¯ y | } of pairs consisting of a structure in C and a ¯-tuple from that structure. y A partition Π of ( C , y ¯) is said to be ∅ -definable if for each part π ∈ Π there exists an L -formula ϕ π (¯) without parameters such that y

(3) ϕ π ( M | ¯ y | ) = { ¯ b ∈ M | ¯ y | : ( M,b ¯ ) ∈ π } for each M ∈ C . We say that a partition is finite if it has finitely many parts.

The following is the main definition of this paper.

Definition 2.1.1. Let R be any set of functions C → R ≥ 0 . A class C of finite L -structures is an R -multidimensional asymptotic class (or an R -m.a.c. for short) if for every formula ϕ x y (¯; ¯) there is a finite ∅ -definable partition Π = Π ϕ of ( C , y ¯) and an indexed set H Π := { h π ∈ R : π ∈ Π } such that for ( M,b ¯ ) ∈ π we have

(4) ∣ ∣ | ϕ M ( | ¯ x | ; ¯ ) b | -h π ( M ) ∣ ∣ = ( o h π ( M )) as | M | → ∞ . The functions h π are called the measuring functions of ϕ x y (¯; ¯). When R is understood, we just say C that is a m.a.c. .

The 'little o -notation' in Equation 4 means that for every real number ε &gt; 0 there exists a natural number C such that, for all ( M,b ¯ ) ∈ π , if | M &gt; C | then

(5) ∣ ∣ | ϕ M ( | ¯ x | ; ¯ ) b | -h π ( M ) ∣ ∣ ≤ εh π ( M . ) Remark 2.1.2. The elements of R are called measuring functions . Often we will assume that R is closed under the addition and multiplication of functions.

Definition 2.1.3. If in Definition 2.1.1 we have | ϕ M ( | ¯ x | ; ¯ ) b | = h π ( M ) for all M ∈ C and ¯ b ∈ M | ¯ x | with ( M,b ¯ ) ∈ π , then we say that C is an exact R -m.a.c. , or an R -m.e.c. (multidimensional exact class). In this case the measuring functions may be chosen to have codomain Z ≥ 0 .

Remark 2.1.4. We say that C is a weak m.a.c. if Definition 2.1.1 holds but without requiring that the partition Π is ∅ -definable (or even parameter-definable). Analogously, we say that C is a weak m.e.c. if Definition 2.1.3 holds, but without requiring the ∅ -definability of the partition Π. We do not explore intermediate notions given by

demanding that Π is parameter-definable, or definable by formulas of a certain complexity.

## Lemma 2.1.5.

- (i) Let C be an R -m.a.c. (respectively R -m.e.c.) of L -structures, let L ′ be an extension of L by constants, and for each M ∈ C let M ′ be an L ′ -expansion of M . Put C ′ := { M ′ : M ∈ C} . Then C ′ is an R -m.a.c. (respectively R -m.e.c.).
- (ii) The assertion of (i) holds with m.a.c. and m.e.c. replaced by weak m.a.c. and weak m.e.c. respectively.
- (iii) Suppose L ′ = L ∪{ } c where c is a constant symbol not in L , and let C be a class of L -structures. Let ϕ x ( ) be an L -formula and suppose that for M ∈ C , Aut( M ) is transitive on ϕ M ( ) . Let C ′ consist of L ′ -expansions of members of C with c interpreted by a realisation of ϕ . If C ′ is a m.a.c. (respectively m.e.c.), then so is C .

Proof. This is immediate. In (iii), we keep the definability clause in the definition of m.a.c./m.e.c., since any use of c in a defining formula can be replaced by a quantifier relativised to ϕ M ( ). /square

For an initial sense of the content of the R -m.a.c. definition, note the following.

Lemma 2.1.6. Let C be a class of finite structures, and suppose there is a formula ϕ x, y (¯ ¯) and r ∈ R with r &gt; 1 such that the following holds: For all n ∈ N there is M n ∈ C and ¯ a , . . . , a 1 ¯ n ∈ M | ¯ y | n such that | ϕ M ( | ¯ x | n , a ¯ i +1 ) | &gt; r ϕ M | ( | ¯ x | n , a ¯ ) i | for each i = 1 , . . . , n -1 . Then C is not a weak R -m.a.c. for any R .

Proof. Under the given assumption, put X M i ( n ) := ϕ M ( | ¯ x | n , a ¯ ), i and let ε &gt; 0. By the pigeon-hole principle, if the assumption holds then there are some h π ∈ R and for arbitrarily large n distinct i n , j n such that | X j n ( M n ) | &gt; r X | i n ( M n ) | and

(7) ∣ ∣ | X j n ( M n ) | -h π ( M n ) ∣ ∣ ≤ εh π ( M . n ) Thus by the triangle inequality ∣ ∣ | X j n ( M n ) | - | X i n ( M n ) | ∣ ∣ ≤ 2 εh π ( M n ), so ( r -1) | X i n ( M n ) | ≤ 2 εh π ( M n ). Since r is fixed and ε is arbitrarily small, this contradicts (6). /square

$$& \text{that } | X _ { j _ { n } } ( M _ { n } ) | > r | X _ { i _ { n } } ( M _ { n } ) | \text{ and} \\ & ( 6 ) & \left | | X _ { i _ { n } } ( M _ { n } ) | - h _ { \pi } ( M _ { n } ) \right | \leq \varepsilon h _ { \pi } ( M _ { n } ) \text{ and} \\ & ( 7 ) & \left | | X _ { j _ { n } } ( M _ { n } ) | - h _ { \pi } ( M _ { n } ) \right | \leq \varepsilon h _ { \pi } ( M _ { n } ). \\ & \text{and} \quad, \quad. \quad. \quad. \quad.. \quad.. \quad.. \quad.. \quad.. \quad.. \quad.. \quad.$$

Remark 2.1.7. It follows immediately from Lemma 2.1.6, applied to the formula x &lt; y , that the class of finite total orders is not a weak m.a.c.. In fact, by Remark 5.3.7, no weak m.a.c. can have an ultraproduct with the strict order property. Likewise, the class of all finite structures consisting of a set equipped with an equivalence relation E is not a weak m.a.c. (consider the formula Exy ). However, given a fixed

bound on the class size or number of classes one obtains a weak m.a.c.. For a stronger version of this last statement, see Example 2.2.5(2)(c).

- 2.2. Examples of m.a.c.s and m.e.c.s. There are several special cases of m.a.c.s, corresponding to particular choices of the set R of functions, which are worth picking out in more detail.

Example 2.2.1. As indicated in the introduction, the above definition, Definition 2.1.1, generalises the notions of 1 -dimensional asymptotic class and N -dimensional asymptotic class introduced in [57] and [24], respectively. We can reformulate the definition from [24] in our framework as follows. For N ∈ N , we let R M 1 N be the set of functions C → R ≥ 0 given by for some r ∈ R ≥ 0 and some i ∈ N . A class C is an N -dimensional asymptotic class (in the sense of [24]) if and only if it is an R M 1 N -m.a.c. with the additional requirement that, for every formula ϕ x y (¯; ¯) with ¯ an x m -tuple of variables, the corresponding measuring functions are of the form m r,i for i N ≤ m . In this context, if m r,i is the measuring function corresponding to a definable set, then we say that r is the measure and that i N is the dimension of that set.

$$m _ { r, i } & \colon M \mapsto r | M | ^ { \frac { i } { N } } \\ \complement \circ i \, \subset \, \mathbb { N } \quad \Delta \ e l a c e$$

↦

↦

The original notion of a 1-dimensional asymptotic class (in the sense of [57]) is essentially the special case of the above with N = 1. By the main theorem of [14], the class of all finite fields is a 1-dimensional asymptotic class. Furthermore, if p is prime and m,n ∈ N with ( m,n ) = 1 and m &gt; 1, n ≥ 1, then let C m,n,p be the collection of all difference fields ( F p kn + m , x → x p k ). Then by Theorem 3.5.8 of [65], C m,n,p is a 1dimensional asymptotic class, and Ryten shows that it follows that the collection of all finite simple groups of any fixed Lie type is an asymptotic class. In the original definition of 1-dimensional asymptotic class , and in the results of [14] on finite fields and of [65] on C m,n,p , there is stronger information on the error term - it takes the form given in [14].

## Definition 2.2.2.

- (i) If C is an R -m.a.c. then we say that the L -formula δ x, y (¯ ¯) is balanced if for every ε ∈ R &gt; 0 there is C ∈ N such that for any M ∈ C with | M &gt; C | and any ¯ a, b ¯ ∈ M | ¯ y | with δ M ( | ¯ x | , a ¯) and δ M ( | ¯ x | , b ¯ ) nonempty, we have
- (ii) Suppose in Definition 2.1.1 that C is an R -m.a.c. satisfying the following condition: There are balanced L -formulas δ 1 (¯ x , y 1 ¯ ) 1 , . . . , δ k (¯ x , y k ¯ ) k and N , . . . , N 1 k ∈ N &gt; 0 , and for each h ∈ R a polynomial P h ∈ 9

∣ ∣ | δ M ( | ¯ x | , a ¯) | - | δ M ( | ¯ x | , b ¯ ) | ∣ ∣ &lt; ε δ M | ( | ¯ x | , b ¯ ) | . We say δ x, y (¯ ¯) is exactly balanced if | δ M ( | ¯ x | , a ¯) | = | δ M ( | ¯ x | , b ¯ ) | whenever ¯ a, b ¯ ∈ M | ¯ y | with δ M ( | ¯ x | , a ¯) and δ M ( | ¯ x | , b ¯ ) are nonempty.

R [ X , . . . , X 1 k ], such that for every M ∈ C there are ¯ a , . . . , a 1 ¯ k in M with δ i ( M | ¯ x i | , a ¯ ) = i ∅ for each i , such that

/negationslash

$$h ( M ) = P _ { h } ( | \delta _ { 1 } ( M ^ { | \bar { x } _ { 1 } | }, \bar { a } _ { 1 } ) | ^ { \frac { 1 } { N _ { 1 } } }, \dots, | \delta _ { k } ( M ^ { | \bar { x } _ { k } | }, \bar { a } _ { k } ) | ^ { \frac { 1 } { N _ { k } } } ). \\ \text{--} \quad. \quad. \quad. \quad. \quad. \quad. \quad.$$

Then we say that C is a polynomial R -m.a.c., or polynomial m.a.c. . The notion of polynomial m.e.c. is defined similarly, but with 'balanced' replaced by 'exactly balanced'.

## Remark 2.2.3.

- 1. In view of Theorem 2.5.4 we sometimes slightly extend the above terminology, allowing the formulas δ x, y (¯ ¯) to be L eq -formulas using quotients by equivalence relations uniformly ∅ -definable across C . The point here is that in the key example of envelopes of a smoothly approximable structure (see Theorem 4.1.2), the above functions h will be polynomials in the cardinalities of certain 'Lie geometries' which may live in M eq but are uniformly definable across the class and could be added as additional sorts to the members of C . We do not labour this point.

In all the examples of polynomial m.a.c.s or m.e.c.s which we consider in this paper, the polynomials are over Q (and in some cases over Z ).

- 2. The condition that δ is balanced is easily arranged in a m.a.c.. Let Π be the ∅ -definable partition associated with δ x, y (¯ ¯), let π ∈ Π, and let ϕ π (¯) be the corresponding formula defining y π . Then the formula δ ′ (¯ x, y ¯) of form δ x, y (¯ ¯) ∧ ϕ y (¯) is balanced.

Example 2.2.4. We explain how the notion of polynomial R -m.a.c. stems from Example 2.2.1. The elements of R M 1 N are monomial functions of | M | 1 N . We may recast this by thinking of these functions as 'formal' monomials in a new variable X . These formal monomials are then represented as functions C → R ≥ 0 by mapping X to | M | 1 N . In particular, any asymptotic class is a polynomial m.a.c. In many cases one can dispense with the exponents 1 N . For example, for the 3-dimensional asymptotic class of groups SL ( 2 q ) we may choose the formula δ x, y ( ¯) to define the (1-dimensional) group of upper unitriangular matrices.

In our original approach we generalised this viewpoint to consider 'polynomial' functions in several variables with non-negative real exponents (or just positive integer exponents). Each of the variables is mapped to the cardinality of a definable set (or in some cases a sort) in the finite model. We allow L to be multi-sorted. For each sort s in L we let X s be a new variable symbol. Let R L be the field of fractions of the ring

$$\mathbb { R } [ X _ { s } ^ { \mathbb { R } ^ { \geq 0 } } \colon s \text{ is a sort of } L ].$$

We have not developed this extra generality (beyond the notion of polynomial m.a.c) since it does not seem to be forced by natural examples.

Example 2.2.5. The following are examples of m.a.c.s and m.e.c.s which are discussed in this paper, and which (apart from the first) extend beyond the earlier notion of asymptotic class. The intention here, and in Subsection 2.3, is to help the reader build an intuition for the key concepts of m.a.c. and m.e.c., before the lengthy proofs of Theorems 2.4.1 and 2.5.4. The more intricate examples in (c) and (d) below are worked out in more detail in Section 3 below, and the examples of m.e.c.s are mostly given in detail in Section 4.

## (1) Examples of m.a.c.s

- (a) Any asymptotic class is a m.a.c., as noted above. In particular, the collection of finite fields is a 1-dimensional asymptotic class so forms a m.a.c.. As noted in [57, Example 3.4], another example of a 1-dimensional asymptotic class is the class of Paley graphs P q . Here q is a prime power with q ≡ 1 (mod 4), and P q has as vertex set the finite field F q , with vertices a, b adjacent if and only if a -b is a square. The key fact here - see [9, Theorem 13.10] - is that if U, W are disjoint sets of vertices of P q with m := | U ∪ W | , and v U, W ( ) denotes the number of vertices not in U ∪ W adjacent to all vertices of U and to none of W , then

$$| v ( U, W ) - 2 ^ { - m } q | \leq \frac { 1 } { 2 } ( m - 2 + 2 ^ { - m + 1 } ) q ^ { \frac { 1 } { 2 } } + \frac { m } { 2 }. \\ \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \t \tilde { \tilde { \tilde { \tilde { \tilde { \t \t                                                                                                                                                                                                         }                                                                                                                                                                                                       
                                                                                                                                                                                                       .                                                                                                                                                                                                        -                                                                                                                                                                                                        +                                                                                                                                                                                                       ,                                                                                                                                                                                                        ;                                                                                                                                                                                                        "                                                                                                                                                                                                        )                                                                                                                                                                                                        :                                                                                                                                                                                                        (                                                                                                                                                                                                       '                                                                                                                                                                                                       |                                                                                                                                                                                                        <                                                                                                                                                                                                        >                                                                                                                                                                                                       !                                                                                                                                                                                                        1$$

Any non-principal ultraproduct of distinct Paley graphs is elementarily equivalent to the random graph. There is no m.e.c. of Paley graphs - see 2(d) below.

- (b) The collection V F of 2-sorted structures ( V, F ) where V is a finite vector space over a finite field F is a polynomial m.a.c.. Ultraproducts are supersimple but may have SU-rank ω . The functions in the set R are polynomials in two variables over Q . See [30, Theorem 4.1], or Theorem 3.1.1 for a more general result.
- (c) The collection of 2-sorted structures ( V, F, β ) where V is a finite vector space over a finite field F , and β : V × V → F is a non-degenerate alternating bilinear form, is a m.a.c.. An ultraproduct where the field is infinite and the vector space is infinite-dimensional will not have simple theory but will be NSOP . 1 The functions in R are rational in | V | and | F | . See Section 3.3 for details.
- (d) Let Q be a quiver of finite representation type. Then the collection of all 3-sorted structures ( F q , F q Q,V ) is a weak m.a.c., where F q is a finite field, F q Q is the corresponding path algebra, and V is a finite F q Q -module. Details are given in Section 3.2. Again, the corresponding functions are polynomials in several variables over Q , the variables corresponding to the field and to the indecomposable F Q -modules.

- (e) Fix a positive integer d and let L := L rings ∪{ P , . . . , P 1 d } where the P i are unary predicates. Consider the collection C d of all finite residue rings Z /n Z , where n has form n = p l 1 1 · . . . · p l d d , where p 1 &lt; .. . &lt; p d are distinct primes and 0 ≤ l i ≤ d . Note that the number of prime divisors of n and the exponents of these primes are bounded, but not the primes themselves. View each member of C d as an L -structure, with P i picking out the canonical subring of form Z /p l i Z . Then by [5, Proposition 3.3.4], C d is a polynomial m.a.c., and it is easily seen that the collection of reducts to L rings is a weak m.a.c.. (The statement in [5] is slightly different, since there the exponents are fixed and not just bounded, but it is easily checked that the above assertions hold.)

## (2) Examples of m.e.c.s

- (a) By a result of Pillay (see Theorem 4.3.1 below) if M is a pseudofinite strongly minimal set, then there is a polynomial m.e.c. all of whose ultraproducts are elementarily equivalent to M , in which the corresponding functions are given by polynomials in one variable over Z .
- (b) By a theorem of Wolf using earlier work of Cherlin and Hrushovski, if L is any countable first order language and d is a natural number, then there is finite L ′ ⊇ L such that we may form a polynomial m.e.c. in L ′ containing, for each finite L -structure M with at most d 4-types, an expansion M ′ of M to L ′ with the same automorphism group as M . See Theorem 4.1.2. In particular, if M is a smoothly approximable structure then the collection of all finite 'envelopes' of M is a m.e.c. (after expanding the language without changing automorphism groups).
- (c) As a special case of (b), let C d be the class of all structures ( M,E ) where E is an equivalence relation on M with at most d different sizes of equivalence classes. Then C d is a polynomial m.e.c., after expansion by unary predicates picking out the union of the equivalence classes of given size.
- (d) It is shown in Theorem 4.1.6 (and Proposition 4.1.5) that if M is a homogeneous graph in the sense of Fra¨ ıss´, then there is e a m.e.c. with an ultraproduct elementarily equivalent to M if and only if M is stable. We conjecture (see Conjecture 4.1.4(i)) that the corresponding statement holds for any finite relational language - the right-to-left direction follows from Wolf's result above and earlier work of Lachlan and co-authors.
- (e) By Theorem 4.2.3 (ii), the collection of all finite abelian groups is a m.e.c. We do not have a clean description of the corresponding functions, apart from the special case of the collection C of all finite homocyclic groups, that is groups of the

form ( Z /p n Z ) m , where p is prime and m,n are positive integers (see Proposition 4.4.2 of [30]). As a very partial converse (Proposition 4.2.1), if C is a m.e.c. of finite groups, then there is a number d such that the groups G ∈ C have a soluble uniformly definable normal subgroup R whose quotient by its Fitting subgroup has derived length at most d , and with | G : R | ≤ d .

- (f) If L is a finite relational language, and d ∈ N , then the collection of all finite L -structures such that each element lies in at most d tuples satisfying a relation is a m.e.c. See Theorem 4.3.3. Again, we do not have a description of the functions giving cardinalities.
- (g) By Proposition 4.1.8, there is no weak m.e.c. consisting of arbitrarily large finite fields.

The following lemma gives a tool for constructing further m.a.c.s and m.e.c.s.

Lemma 2.2.6. Let C 1 , . . . , C k be classes of finite structures in disjoint languages L , . . . , L 1 k respectively. Let L = L 1 ∪ . . . ∪ L k , a multi-sorted language with sorts S , . . . , S 1 k , with the symbols of each L i restricted to S i . Let C be the class of L -structures M = M 1 ∪ . . . ∪ M k (disjoint union), where each M i is the restriction of M to S i and lies in C i . If each C i is an R i -m.a.c. (respectively R i -m.e.c), then C is an R -m.a.c. (respectively R -m.e.c.), where R is the set of functions C → R generated from the R i by addition and multiplication.

The construction of R here needs a little elucidation. We view R i as a set of functions C → R , by putting f i ( M 1 ∪ . . . ∪ M k ) = f i ( M i ) for f i ∈ R i .

Proof. See [73, Lemma 2.4.2] for the m.e.c. case. The m.a.c. argument is essentially the same. /square

- 2.3. Non-examples associated with finite fields. The class of finite fields forms the motivating example of a 1-dimensional asymptotic class, so it is natural to ask what additional structure may be carried by a multidimensional asymptotic class of expansions of finite fields. An obvious example of such an expansion is the 1-dimensional asymptotic class C m,n,p from Example 2.2.1. Below we show that another function of interest on a finite (prime) field, the discrete logarithm, does not furnish examples of m.a.c.s.
- 1. Discrete logarithm in finite fields. The multiplicative group F × q of a finite field F q is cyclic. Fix a generator a of F × q . For integers k, l , we have a k = a l if and only if k and l are congruent modulo q -1. Thus one may define the discrete logarithm with base a to be the

isomorphism

$$\log _ { a } \colon \mathbb { F } _ { q } ^ { \times } & \to C _ { q - 1 } \\ a ^ { l } & \mapsto l, \\ \vdots \sim \underset { \sim } { \sim } \sim \tilde { \epsilon } \underset { \sim } { \sim } \sim \frac { 1 } { 1 }$$

↦

where C q -1 is the cyclic group of order q -1, perhaps identified with the additive group of integers modulo q -1.

- (i) For each prime power q consider the two-sorted structure ( F q , C q -1 ; log a ) , where log a : F × q → C q -1 is as above. We view the first sort F q as a field, and the second sort C q -1 as a group. Consider the class

There are at least two obvious ways to turn this into a first-order structure expanding F q . In the first (i) we write the codomain of the logarithm as a separate sort, and in the second (ii) we choose some identification of { 0 , ..., q - } 2 with a subset of F q , at least in the case that q is prime.

$$\text{$\max$} \\ \mathcal { C } _ { 1 } \coloneqq \{ ( \mathbb { F } _ { q }, C _ { q - 1 } ; \log _ { a } ) \colon q \, a \, prime \, \text{power}, \, a \, a \, \text{generator} \}. \\ \text{However there is nothing new here because the logarithm is} \\ \text{and}, \, a \, \text{minition to multi-injection in} \mathbb { Y } ^ { \times } \, \text{in fact those} \, \text{time}.$$

- (ii) The second approach, for each prime q , is to identify the codomain C q -1 = { 0 , ..., q - } 2 with the subset { 0 , ..., q - } ⊆ 2 F q . This is somewhat artificial since the group structure on the codomain does not match the additive group of F q . Consider the onesorted structures ( F q ; log a ) and the class

However there is nothing new here because the logarithm is only re-writing the multiplication in F × q . In fact these structures are uniformly bi-interpretable with finite fields, which form an asymptotic class. The class C 1 is a polynomial m.a.c..

$$\sigma \in \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \ sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma \sigma
 \mathcal { C } _ { 2 } \coloneqq \left \{ \left ( \mathbb { F } _ { q } ; \log _ { a } \right ) \colon q \text{ a prime, a a generator} \right \}. \\ \text{Claim $2.3.1$ $. There is a formula $\varphi(x,y)$ which uniform} \\ \mathcal { C } _ { \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \sigma \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \mathcal { M } \cdot$$

Claim 2.3.1. There is a formula ϕ x, y ( ) which uniformly defines a total ordering on each structure in C 2 .

Proof. To keep this argument as clear as possible, for integers x, y , we write ¯ x, y ¯ for their residues modulo q . Thus F q = { ¯ 0 , ..., q - } 1 . Consider the structure ( F q ; log a ) ∈ C 2 . Then log a (¯) = ¯ if and only if ¯ x y a y = ¯. x We define a new operation on F × q by:

$$\oplus \colon \{ 0, \dots, q - 2 \} \times \{ 0, \dots, q - 2 \} & \to \mathbb { F } _ { q } \\ ( \bar { x }, \bar { y } ) & \mapsto \log _ { a } ( \bar { a } ^ { x } \cdot \bar { a } ^ { y } ). \\ \tau _ { 0 } \cdot \dots \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \dots \cdot \end{array}$$

↦

This operation is definable in ( F q ; log a ). Suppose that x + y ≥ q . Write x + y = q + where l l ∈ { 0 , ..., q - } 2 . Then ¯ a x + y = ¯ a q + l = ¯ a 1+ l , by Fermat's Little Theorem. Thus

/negationslash

$$\bar { x } \oplus \bar { y } = \log _ { a } ( \bar { a } ^ { x } \cdot \bar { a } ^ { y } ) = \log _ { a } ( \bar { a } ^ { x + y } ) = \log _ { a } ( \bar { a } ^ { 1 + l } ) = \overline { 1 + l } \neq \bar { x } + \bar { y }$$

whereas if x + y &lt; q then ¯ x ⊕ ¯ = ¯ + ¯. y x y Since ⊕ is definable, we may define the set

$$\Delta \coloneqq \{ ( a, b ) \in \mathbb { F } _ { q } ^ { \times 2 } \colon a \oplus b = a + b \} \\ \intertext { a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a n d a }$$

in the language with the logarithm. Now

$$\exists c \left ( ( a, c ) \in \Delta \wedge ( b, c ) \notin \Delta \right ) \\ \dots \dots \frac { 1 } { 2 } \sim \frac { 1 } { 2 } \sim \frac { 1 } { 2 } \dots \frac { 1 } { 2 } \times \frac { 1 } { 2 }$$

defines the order ¯ 1 &lt; ¯ 2 &lt; ... &lt; q -1 on F × q . We can easily add ¯ 0 &lt; ¯ to this ordering. 1 This definition is uniform in ( F q ; log a ), as required. /square

The conclusion is that C 1 is too simple to be interesting and that C 2 is too wild to fit into our context. Indeed, by Remark 2.1.7, or more generally Remark 5.3.7, C 2 cannot form a weak m.a.c..

- 2. Lie algebras. It is well-known that the class of finite general linear groups is model-theoretically wild if no bound is imposed on dimension (see e.g [10, Section 6.3]). One might hope that the corresponding class of Lie algebras would be tame, on the grounds that the Lie algebras are a linearisation of the groups. However, we observe the following.

Proposition 2.3.2. Let C be a collection of Lie algebras of the form gl n ( q ) , for a fixed prime power q and unbounded n . Then C is not a weak m.a.c..

Proof. Let A r = ( a ij ) ∈ gl n ( q ) with a 11 = . . . = a rr = 1, and with all other a ij zero. It is easily checked that if B = ( b ij ) ∈ gl n ( q ), then AB = BA if and only if b ij = 0 whenever i ≤ r and j &gt; r or j ≤ r and i &gt; r . It follows that if C A ( r ) = { X : [ A , X r ] = 0 , then } | C A ( r ) | = q r 2 .q ( n -r ) 2 . Thus, | C A ( r ) | | C A ( r +1 ) | = q 2 n -4 r -2 &gt; q provided n is large enough. The result now follows from Lemma 2.1.6. /square

- 3. Expansions of finite fields. If C is a weak m.a.c. class of expansions of finite fields, then it is not possible uniformly to define small subsets of the fields of increasing size. We formulate this more precisely for finite fields F q with q ≡ 1 mod 4. Suppose that C is a class of finite structures which expand such finite fields, and that there is a formula ϕ x, y ( ¯) such that for every d ∈ N there is a structure M ∈ C of size q &gt; d and ¯ a ∈ M | ¯ y | satisfying that if m := | ϕ M,a ( ¯) , | then d ≤ m and

Let X := ϕ M,a ( ¯). Then for any subset S of X , by the statement from [9] mentioned in Example 2.2.5(1)(a), there is a ∈ M such that for all b ∈ X a , -b is a square (in the field structure on M ) if and only if b ∈ S . Thus, the subsets of X are uniformly definable, and it follows easily that C has an ultraproduct with the strict order property, so cannot be a weak m.a.c. by Remark 5.3.7 below.

$$\hat { \mu } _ { 2 } ^ { - m } q & > \frac { 1 } { 2 } ( m - 2 + 2 ^ { - m + 1 } ) q ^ { \frac { 1 } { 2 } } + \frac { m } { 2 }. \\ \colon \, \iota \cap M \, \bar { \ a } \, \cdots \, \text{ Then for any subset $S$ of $X$ } \, \text{ hv th}$$

In particular, it follows that the collection of all pairs of finite fields is not a weak m.a.c, and hence, by considering the fixed field, the collection of all finite difference fields is not a weak m.a.c. -some restrictions as in the definition of C m,n,p are needed. Such phenomena, e.g. undecidability of the theory of pairs of finite fields, are well-known - see for example Section 4 of [13].

2.4. Projection Lemma. Here we use a fibering argument to show that to check whether a class of structures is a m.a.c. or m.e.c., it suffices to consider formulas ϕ x, y ( ¯) where x is a single variable. We argue as in Theorem 2.1 from [57] and Lemma 2.2 from [24] but for the R -m.a.c. context, where R is a set of functions C → R ≥ 0 . Let 〈 R 〉 denote the ring generated by R under the usual addition and multiplication operations for real-valued functions.

## Theorem 2.4.1.

- (i) Let C be a class of L -structures. Suppose that C satisfies the definition of an R -m.a.c. (Definition 2.1.1) for formulas ϕ x y ( ; ¯) where x is a singleton. Then C is an 〈 R 〉 -m.a.c..
- (ii) [73, Lemma 2.3.1] The assertion of (i) holds with m.e.c.s in place of m.a.c.s.

Proof. We just prove (i), which is a bit more intricate than (ii) (given in [73]).

We proceed by induction on the length of ¯. x The base case is our assumption. Consider a formula ϕ xy z (¯ ; ¯), with ¯ a non-empty tuple x and y a single variable. By our inductive hypothesis, we may assume that the definition applies to ϕ x yz (¯; ¯). Let Π be the finite partition of ( C , yz ¯) corresponding to ϕ x yz (¯; ¯), let H Π = { h π ∈ 〈 R 〉 : π ∈ Π } be the corresponding measuring functions and let Γ Π = { γ π ( yz ¯) : π ∈ Π } be the indexed set of formulas which define Π.

For each π ∈ Π, we examine the family of sets defined by γ π ( y ; ¯). z We apply our hypothesis to obtain a finite partition Ψ π of ( C , z ¯), corresponding measuring functions L Ψ π = { l ψ ∈ R : ψ ∈ Ψ π } , and an indexed set of formulas ∆ Ψ π = { δ ψ (¯) : z ψ ∈ Ψ π } that define Ψ π .

$$\Omega _ { f } \coloneqq \bigcap _ { \pi \in \Pi } f ( \pi ) \\ \dots \ e \dots \dots \ e \dots$$

Each Ψ π is a partition of ( C , z ¯). For each choice function f : Π → ⋃ π ∈ Π Ψ , put π

↦

and let Ω := { Ω f : f a choice function } . Then Ω is the unique coarsest partition of ( C , z ¯) such that Ω refines Ψ π for each π ∈ Π. If we view elements of ∏ π ∈ Π Ψ as choice functions, we see that there is a bijection π between ∏ π ∈ Π Ψ π and Ω given by f → Ω . f 16

Since each Ψ π is finite and Π is finite, Ω is finite. Furthermore, Ω is definable: For Ω f ∈ Ω, write α f (¯) for the formula z

$$\mu \cdots \mu \cdots \mu \cdots \mu \cdots \\ \bigwedge _ { \pi \in \Pi } \delta _ { f ( \pi ) } ( \bar { z } ). \\ = \bigwedge \dots \mu \cdots \mu \cdots \mu \cdots$$

Then for each ( M,c ¯) ∈ C ( , z ¯) we have that

$$( M, \bar { c } ) \in \Omega _ { f } \text{ if and only if } M \models \alpha _ { f } ( \bar { c } ).$$

For each π ∈ Π, let χ π (¯ xy z ; ¯) := ϕ xy z (¯ ; ¯) ∧ γ π ( y ; ¯) z and note that ϕ M ( | ¯ xy | ; ¯) = c ⊔ π ∈ Π χ π ( M | ¯¯ xy | ; ¯). c

Let π ∈ Π. We abbreviate h π := h π ( M ) and l f ( π ) := l f ( π ) ( M ). Let ε &gt; 0. By our inductive hypothesis, there exists N π ∈ N such that for all ( M,c ¯) ∈ f ( π ) with | M | ≥ N π we have

Let Ω f ∈ Ω. We aim to understand the size of the set ϕ M ( | ¯ xy | ; ¯) for c ( M,c ¯) ∈ Ω f as | M | →∞ .

∣ ∣ | γ π ( M c ; ¯) | -l f ( π ) ∣ ∣ &lt; εl f ( π ) , and for all b ∈ M such that ( M,bc ¯) ∈ π - that is, M | = γ π ( bc ¯) - we also have

As χ π ( M | ¯ xy | ; ¯) c is fibered over γ π ( M c ; ¯), we have

$$, \lambda _ { 1 } \lambda _ { 2 } \lambda _ { 3 } \lambda _ { 4 } \lambda _ { 5 } \lambda _ { 6 } \lambda _ { 7 } \lambda _ { 8 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \lambda _ { 9 } \\ | \chi _ { \pi } ( M ^ { | \bar { x } y | } ; \bar { c } ) | = \sum _ { b \in \gamma _ { \pi } ( M ; \bar { c } ) } | \varphi ( M ^ { | \bar { x } | } ; b \bar { c } ) |.$$

$$\left | | \varphi ( M ^ { | \bar { x } | } ; b \bar { c } ) | - h _ { \pi } \right | < \varepsilon h _ { \pi }. \\ \text{fibered over } \gamma _ { \pi } ( M ; \bar { c } ), \, \text{we have} \\ \vdots \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

Thus

$$( 1 - \varepsilon ) ^ { 2 } h _ { \pi } l _ { f ( \pi ) } & < | \chi _ { \pi } ( M ^ { | \bar { x } y | } ; \bar { c } ) | < ( 1 + \varepsilon ) ^ { 2 } h _ { \pi } l _ { f ( \pi ) }. \\ \nu \quad \partial \nu \quad \partial \nu \quad \partial.$$

Since (1 -ε ) 2 , (1 + ε ) 2 → 1 as ε → 0, we have

Finally, put m f := ∑ π ∈ Π h l π f π ( ) . Then

$$\mathcal { \langle } \jmath, \, \underbrace { 1 \, \top \, \infty } _ { \, \top \, \infty } \, \infty, \, \mathfrak { w } \, \mathfrak { m a v c } \\ \left | | \chi _ { \pi } ( M ^ { | \bar { x } y | } ; \bar { c } ) | - h _ { \pi } l _ { f ( \pi ) } | = o ( h _ { \pi } l _ { f ( \pi ) } ). \\ \text{put } m _ { f } \coloneqq \sum _ { \pi \in \Pi } h _ { \pi } l _ { f ( \pi ) }. \text{ Then } \\ \cdot \quad \cdot \quad \cdot \quad.$$

for ( M,c ¯) ∈ Ω f as | M | →∞ ,

$$\nu _ { J } \dashv & \varepsilon \varepsilon \Pi \nu _ { J } ( \pi ) \cdot \text{                                                                                                                                                                                                         \nu _ { J } ( \pi ) \cdot \text{                                                                                                                                                                                        \nu _ { J } ( \pi ) \cdot \text{ } \text{                                                                                                                                                                                                     \nu _{ J } ( \pi ) \cdot \text{ } \text{                                                                                                                                                                                        \nu _ { J } ( \pi ) \cdot                                                                                                                                                                                                       
\left | \left | \varphi ( M ^ { \left | \bar { x } y \right | } ; \bar { c } ) \right | - m _ { f } \right | = o ( m _ { f } ) \right | \\ \text{as } \left | M \right | & \rightarrow \infty, \text{ as required.} \\ \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--}" \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--}\text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--}  \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--} \text{--};$$

$$\to \infty, \, \text{as required}.$$

Remark 2.4.2. Theorem 2.4.1 holds if ' R -m.a.c.' (respectively ' R -m.e.c.') is replaced by 'polynomial R -m.a.c.' (respectively 'polynomial R -m.e.c.') throughout. The understanding here is that the same formulas δ , . . . , δ 1 k (as in Definition 2.2.2) are used for the 1-variable condition and the general condition. The proof is essentially as above. This is noted in a special case in the proof of Theorem 4.1 of [30].

2.5. Interpretability and bi-interpretability. We prove two results from [74]. We assume familiarity with the usual model-theoretic notion of an L ′ -structure N being A -interpretable in an L -structure M . This means essentially that N is isomorphic to a structure with domain a quotient by an A -definable equivalence relation of an A -definable subset of a cartesian power of M , with the relations of N induced by A -definable relations of M .

The structures M and N are bi-interpretable if N is ∅ -interpretable in M via an interpretation (an isomorphism) f : N → N ∗ (so N ∗ lives on a quotient of a power of M ), and M is ∅ -interpretable in N via an interpretation g : M → M ∗ . Werequire in addition that if f induces the isomorphism f ∗ : M ∗ → M ∗∗ where M ∗∗ is an L -structure interpreted in N ∗ , and g induces the corresponding isomorphism g ∗ : N ∗ → N ∗∗ , then the isomorphisms f ∗ ◦ g : M → M ∗∗ and g ∗ ◦ f : N → N ∗∗ are ∅ -definable in M and N respectively. Slightly weakening this, we say that N is weakly bi-interpretable in M if we drop the assumption that f ∗ ◦ g is definable in M but keep that g ∗ ◦ f is ∅ -definable in N .

In these definitions, we replace the word 'interpretable' with 'definable' if no quotienting is involved.

Let C be a class of L -structures and C ′ be a class of L ′ -structures. We say that C ′ is parameter-interpretable in C if there is an injection α : C ′ → C such that each N ∈ C ′ is parameter-interpretable in α N ( ) uniformly , i.e. through fixed formulas giving the interpretations. Likewise, we say that C and C ′ are bi-interpretable if there is a bijection α : C ′ →C such that each N ∈ C ′ is bi-interpretable with α N ( ), without use of parameters and uniformly as N ranges through C ′ . Here we say that C ′ is weakly bi-interpretable in C if we just require that each N ∈ C ′ is uniformly weakly bi-interpretable in α N ( ).

Definition 2.5.1. Let R be a set of functions from a class C to R ≥ 0 . We define Frac( R ) to be the set of functions from C to R ≥ 0 given by

/negationslash where for all M ∈ C we put

$$& \text{We denotefrac(K) \text{ to be the set of functions from } C \text{ to } \mathbb { K } \stackrel { \nu } { \sim } \text{ given by} \\ & \text{Frac} ( R ) \coloneqq \left \{ \sum _ { i = 1 } ^ { n } \frac { g _ { i } } { h _ { i } } \colon g _ { i }, h _ { i } \in R, n \in \mathbb { N } ^ { > 0 } \text{ and } h _ { i } ( M ) \neq 0 \text{ for all } M \in \mathcal { C } \right \}, \\ & \text{where for all } M \in \mathcal { C } \text{ we put}$$

$$& \omega \in \mathcal { C } \text{ we put} \\ & \quad \left ( \sum _ { i = 1 } ^ { n } \frac { g _ { i } } { h _ { i } } \right ) ( M ) \coloneqq \sum _ { i = 1 } ^ { n } \frac { g _ { i } ( M ) } { h _ { i } ( M ) }, \\ & \stackrel { \underline { \iota } ( M ) } { = } 0 \text{ if } h. ( M ) = 0$$

and we define g i ( M ) h i ( M ) := 0 if h i ( M ) = 0.

It is convenient to introduce the notion of positive-definiteness for R -m.a.c.s:

Definition 2.5.2. Let Π be a finite partition of a class of finite L -structures ( C , y ¯) as in the context of Definition 2.1.1. For π ∈ Π let 18

π M := { ¯ a ∈ M | ¯ y | : ( M ,a ¯ x ¯) ∈ π } . The measuring function h π associated with the formula ϕ x, y (¯ ¯) is positive-definite if

- (8) ϕ M ( | ¯ x | , a ¯) = ∅ for all ¯ a ∈ π M ⇐⇒ h π ( M ) = 0

for all M ∈ C with π M = ∅ .

/negationslash

Measuring functions for a weak m.a.c. are eventually positive-definite, in the sense of the following lemma.

Lemma 2.5.3. Suppose that the class of finite L -structures C is a weak R -m.a.c.. Let ϕ x, y (¯ ¯) be an L -formula and let Π = Π ϕ be a partition of ( C , y ¯) corresponding to ϕ , with measuring functions { h π : π ∈ Π } ⊆ R . Then for each π ∈ Π there exists Q π ∈ N &gt; 0 such that (8) holds for all M ∈ C with | M &gt; Q | π and π M = ∅ .

/negationslash

Proof. Let π ∈ Π and let n := | ¯ . x |

/negationslash

We first prove that the left-to-right direction of (8) eventually holds. For a contradiction, suppose that it never holds, i.e. for every Q ∈ N &gt; 0 there exists some M Q ∈ C with | M Q | &gt; Q and π M Q = ∅ such that ϕ M ,a ( n Q ¯) = ∅ for all ¯ a ∈ π M Q but h π ( M Q ) = 0. Let ε = 1 2 . Then

/negationslash

∣ ∣ | ϕ M ,a ( n Q ¯) | -h π ( M Q ) ∣ ∣ = 0 | -h π ( M Q ) | = h π ( M Q ) &gt; εh π ( M Q ) . Since this holds for all Q ∈ N &gt; 0 , it follows that (4) does not hold for π contradicting that C is a weak R -m.a.c.. So there exists Q π 1 ∈ N &gt; 0 above which the left-to-right direction of (8) holds.

/negationslash

∣ ∣ | ϕ M ,a ( n Q ¯) | -h π ( M Q ) ∣ ∣ = | ϕ M ,a ( n Q ¯) | &gt; 0 = εh π ( M Q ) . Since this holds for all Q ∈ N &gt; 0 , clause (4) does not hold for π , again contradicting that C is a weak R -m.a.c.. So there exists Q π 2 ∈ N &gt; 0 for which the right-to-left direction of (8) holds.

We now prove that the right-to-left direction of (8) eventually holds. For a contradiction, suppose that for every Q ∈ N &gt; 0 there exists some M Q ∈ C with | M Q | &gt; Q such that the right-to-left direction of (8) fails for M Q . Thus h π ( M Q ) = 0 but there is ¯ a ∈ π M Q such that ϕ M,a ( ¯) = ∅ . Let ε = 1. Then

Taking Q π := max { Q π 1 , Q π 2 } yields the lemma.

/square

Theorem 2.5.4. Let C and C ′ be, respectively, classes of L -and L ′ -structures.

- (i) If C ′ is parameter-interpretable in C and C is an R -m.a.c. (resp. -m.e.c.) in L , then C ′ is a weak Frac( R ) -m.a.c. (resp. -m.e.c.) in L ′ .
- (ii) If C ′ is weakly bi-interpretable in C and C is an R -m.a.c. (resp. -m.e.c.) in L , then C ′ is a Frac( R ) -m.a.c. (resp. -m.e.c.) in L ′ .
- (iii) If C ′ is parameter-definable in C and C is a weak R -m.a.c. (resp. -m.e.c.) in L , then C ′ is a weak R -m.a.c. (resp. -m.e.c.) in L ′ .

## Remark 2.5.5.

- 1. There is a small abuse of notation: If α : C ′ →C gives an interpretation, an element s ∈ R (a function C → R ≥ 0 ) is identified with the corresponding function C ′ → R ≥ 0 , where s M ( ) := s α M ( ( )) for M ∈ C ′ .
- 2. Many of the key ideas in the proof are due to Elwes, although our approach is slightly more direct than that in [24]. Elwes [24] stated a slightly stronger version of (ii), assuming only what he calls ∅ C ′ -bi-interpretability, that is, he only requires that no parameters from the structures in C ′ are needed. However, it would seem that both his proof and that of (ii) require the stronger hypothesis of weak bi-interpretability over ∅ . We explain this point when it arises in our proof of (ii).

We prove Theorem 2.5.4 only for R -m.a.c.s; the proof for R -m.e.c.s is just a simpler version of the proof for R -m.a.c.s, and details can by found in [74].

Proof of Theorem 2.5.4. We use the notation and terminology given at the beginning of this section throughout, with M,M ,f,g ∗ , etc. For each N ∈ C ′ we assume that the isomorphic copy N ∗ of N lives (uniformly) on a quotient by a definable equivalence relation E N of a definable subset X N of some cartesian power α N ( ) r of α N ( ). We drop the subscript N if the context is clear.

Proof of (i). Let ϕ x , . . . , x ′ ( 1 n ; y , . . . , y 1 m ) be an arbitrary L ′ -formula. We need to show that this formula satisfies the size clause (4). The overall strategy is to move into C via the interpretation, make size estimates there, and pull back these estimates into C ′ . Making the size estimates in C forms the bulk of the argument.

Observe that E = E N induces an equivalence relation on each power of X N : Two tuples are equivalent if they are E -equivalent in each coordinate. We abuse notation and use E to denote this induced equivalence relation. Since the L -translation of each L ′ -symbol defines an E -invariant subset of a power of X N , we see that ϕ α N ( ( ) r n · + r m · ) ⊆ X n + m N is a union of E -equivalence classes. Hence for all N ∈ C ′ and for all a , . . . , a 1 m ∈ N we have

We first translate the L ′ -formula ϕ ′ into an L -formula ϕ . Each L ′ -symbol has a uniform L -translation, so we replace each L ′ -symbol in ϕ ′ with its L -translation. We leave all boolean connectives as is and adapt quantifiers in accordance with the new variables; for example, if a variable x in ϕ ′ is in the scope of a quantifier ∀ x and x becomes ¯ in x ϕ , then the quantifier ∀ x becomes ∀ ¯ in x ϕ . The resulting L -formula is ϕ x , . . . , x (¯ 1 ¯ n , y ¯ 1 , . . . , y ¯ m ), where | ¯ x i | = ¯ | y i | = . r

$$( 9 ) \quad f ( \varphi ^ { \prime } ( N ^ { n }, a _ { 1 }, \dots, a _ { m } ) ) = \underbrace { \varphi ( \alpha ( N ) ^ { r \cdot n }, \tilde { f } ( a _ { 1 } ), \dots, \tilde { f } ( a _ { m } ) ) / E } _ { 2 0 },$$

where ˜ is a choice function on the set f { f ( a ) : a ∈ N } , i.e. ˜ ( f a ) is an arbitrary element of the equivalence class f ( a ), and where

$$f ( \varphi ^ { \prime } ( N ^ { n }, a _ { 1 }, \dots, a _ { m } ) ) \coloneqq \{ ( f ( c _ { 1 } ), \dots, f ( c _ { n } ) ) \, \colon N \models \varphi ^ { \prime } ( c _ { 1 }, \dots, c _ { n }, a _ { 1 }, \dots, a _ { m } ) \}. \\ \intertext { N o t o t o n d o r t h o c o m m o t i o n o f n o m o t o n d i t i t i r, t h o } \,,$$

Note that under the assumption of parameter-interpretability the L -translation might require translation parameters from the structures in C ; that is, the L -translation of ϕ ′ might actually be of the form ϕ x , . . . , x (¯ 1 ¯ n , y ¯ 1 , . . . , y ¯ m , c ¯ N ), where ¯ c N is a tuple of parameters from α N ( ). However, by Lemma 2.1.5(i) we can extend L to include constant symbols for these translation parameters, so we can ignore this issue, although it will come up again in the proof of (ii) below.

To show that ϕ x , . . . , x ′ ( 1 n ; y , . . . , y 1 m ) satisfies the size clause (4) we need to calculate the approximate size of ϕ N ,a ,.. ., a ′ ( n 1 m ). By (9) we have

$$& ( 1 0 ) \quad | \varphi ^ { \prime } ( N ^ { n }, a _ { 1 }, \dots, a _ { m } ) | = | \varphi ( \alpha ( N ) ^ { r \cdot n }, \tilde { f } ( a _ { 1 } ), \dots, \tilde { f } ( a _ { m } ) ) / E |. \\ & \mathfrak { t } + \text{when an of } \alpha \, \infty \, \text{to do so that } \alpha \, \text{to with } \text{and do of } \, \text{$1\partial\,\text{time to not } \alpha$} \, \text{is}$$

It thus suffices to calculate the right-hand side of (10), using that C is an R -m.a.c..

We may safely assume that α is surjective, i.e. that C = { α N ( ) : N ∈ C } ′ , since { α N ( ) : N ∈ C } ′ is a subclass of C and thus is also an R -m.a.c..

$$& \text{are uniformly defined by the L-formula} \\ & \tilde { \varphi } ( \bar { x } _ { 1 }, \dots, \bar { x } _ { n } ; \bar { b }, \bar { d } _ { 1 }, \dots, \bar { d } _ { n } ) \colon = \varphi ( \bar { x } _ { 1 }, \dots, \bar { x } _ { n }, \bar { b } ) \wedge \bigwedge _ { 1 \leq i \leq n } E ( \bar { x } _ { i }, \bar { d } _ { i } ) \\ & \text{for tuples (} \bar { d } _ { 1 } \dots \dots \bar { d } _ { i } ) \, \in \, X ^ { n }, \, \text{varing over equivalence classes.  Note}$$

We now calculate the approximate size of ϕ α N ( ( ) r n · , b ¯ 1 , . . . , b ¯ m ) /E for varying α N ( ) ∈ C and ( ¯ b , . . . , b 1 ¯ m ) ∈ α N ( ) r m · . We write ¯ := y (¯ y , . . . , y 1 ¯ m ) and ¯ := ( ¯ b b , . . . , b 1 ¯ m ). The equivalence classes in ϕ α N ( ( ) r n · , b ¯ ) are uniformly defined by the L -formula for tuples ( ¯ d , . . . , d 1 ¯ ) n ∈ X n N varying over equivalence classes. Note that the L -formula E v , v (¯ 1 ¯ ) that defines the equivalence relation 2 E on X n N may require parameters from each α N ( ) ∈ C , but these can be subsumed into ¯ c N .

Since C is an R -m.a.c., the formula ˜(¯ ϕ x , . . . , x 1 ¯ ; ¯ n y, v ¯ 1 , . . . , v ¯ ) gives n rise to a finite partition Π = { π , . . . , π 1 /lscript } of

1 /lscript ∈

( C , y, v ¯ ¯ 1 , . . . , v ¯ ) = n { ( α N , b, d , . . . , d ( ) ¯ ¯ 1 ¯ ) : n N ∈ C ′ , b ¯ ∈ α N ( ) r m · , d ¯ i ∈ α N ( ) r } with measuring functions h , . . . , h R and defining L -formulas

$$\{ \theta _ { j } ( \bar { y }, \bar { v } _ { 1 }, \dots, \bar { v } _ { n } ) \colon 1 \leq j \leq \ell \}. \\ \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots.$$

As ϕ is E -invariant, we assume that the h , . . . , h 1 /lscript respect the equivalence relation; that is, for every ¯ b ∈ α N ( ) r m · , if ( ¯ d , . . . , d 1 ¯ ) n and ( ¯ d , . . . , d ′ 1 ¯ ) lie in the same equivalence class, then ( ′ n α N , b, d , . . . , d ( ) ¯ ¯ 1 ¯ ) n and ( α N , b, d , . . . , d ( ) ¯ ¯ ′ 1 ¯ ) belong to the same element of the partition ′ n Π. Indeed, if they do not, then since

$$\tilde { \varphi } ( \alpha ( N ) ^ { r \cdot n }, \bar { b }, \bar { d } _ { 1 }, \dots, \bar { d } _ { n } ) = \tilde { \varphi } ( \alpha ( N ) ^ { r \cdot n }, \bar { b }, \bar { d } _ { 1 } ^ { \prime }, \dots, \bar { d } _ { n } ^ { \prime } )$$

we can modify the partition so that they do.

/negationslash

For j = 1 , . . . , /lscript let Y j ( α N , b ( ) ¯ ) denote the union of the equivalence classes in ϕ α N ( ( ) r n · , b ¯ ) that take the function h j . By the assumption in the preceding paragraph, Y j ( α N , b ( ) ¯ ) ∩ Y j ′ ( α N , b ( ) ¯ ) = ∅ for j = j ′ . For each j the set Y j ( α N , b ( ) ¯ ) is uniformly defined by the L -formula

$$\tilde { \varphi } _ { j } ( \bar { x } _ { 1 }, \dots, \bar { x } _ { n } ; \bar { y } ) \coloneqq \varphi ( \bar { x } _ { 1 }, \dots, \bar { x } _ { n }, \bar { y } ) \wedge \theta _ { j } ( \bar { b }, \bar { x } _ { 1 }, \dots, \bar { x } _ { n } ).$$

Since C is an R -m.a.c., each formula ˜ (¯ ϕ j x , . . . , x 1 ¯ ; ¯) n y gives rise to a finite partition P j = { ρ j 1 , . . . , ρ je j } of ( C , y ¯) = { ( α N , b ( ) ¯ ) : N ∈ C ′ , b ¯ ∈ α N ( ) r m · } with corresponding measuring functions g j 1 , . . . , g je j ∈ R . Again, we may assume that this partition respects the equivalence relation, i.e. that if ¯ b and ¯ b ′ lie in the same equivalence class, then ( α N , b ( ) ¯ ) and ( α N , b ( ) ¯ ) lie in the same P -class. ′ j

For brevity we now write ¯ := d ( ¯ d , . . . , d 1 ¯ ). n Let R N consist of a choice of one ¯ d ∈ X n N from each equivalence class in X n N , that is, a transversal for the equivalence relation induced by E on X n N . Thus X /E n N = { ¯ d/E : ¯ d ∈ R N } and | X /E n N | = | R N | . We do not claim that R N is L -definable. Put S j ( ¯ ) b := R N ∩ θ j ( ¯ b, α ( N ) r n · ). For each ( α N , b ( ) ¯ ) ∈ C ( , y ¯) and j = 1 , . . . , /lscript we have

We now wish to show for ( α N , b ( ) ¯ ) ∈ ρ jk that | Y j ( α N , b /E ( ) ¯ ) | is approximately equal to g jk ( α N ( )) h j ( α N ( )) . This is to be expected, since g jk ( α N ( )) is approximately equal to | Y j ( α N , b ( ) ¯ ) | and h j ( α N ( )) is approximately equal to the size of each equivalence class in Y j ( α N , b ( ) ¯ ).

$$& \theta \, \mu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \rho \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \ r \, \, \,$$

where the union is disjoint since equivalence classes are disjoint.

Now fix j ∈ { 1 , . . . , /lscript } and k ∈ { 1 , . . . , e j } . By the definitions of π j and h j we have for all ( α N , b, d ( ) ¯ ¯ ) ∈ π j that as | α N ( ) | →∞ . By the definitions of ρ jk and g jk we likewise have for all ( α N , b ( ) ¯ ) ∈ ρ jk that

$$\begin{array} { c } \Gamma _ { n } \, \upsilon \, \max \, \infty \, \frac { 1 } { 2 } \, \left ( \alpha _ { n } \right ) \, \upsilon, \alpha _ { n } \right ) \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \infty \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \inno \, \$$

$$\alpha \nmid \alpha \nmid \alpha \nmid _ { J }, \nu _ { J } & \subset \rho _ { j k } \ n u \alpha \nu \\ ( 1 3 ) & \left | | Y _ { j } ( \alpha ( N ), \bar { b } ) | - g _ { j k } ( \alpha ( N ) ) \right | = o ( g _ { j k } ( \alpha ( N ) ) ) \\ \intertext { as } | \alpha ( N ) | \to \infty. & \text{New let $\varepsilon>0$.   Recall the $\varepsilon-Q$ definition of little-o notation.}$$

as | α N ( ) | → ∞ .

Now let ε &gt; 0. Recall the ε Q -definition of little-o notation. Let Q 1 ∈ N be such that (12) holds for ε/ 2 and Q 2 ∈ N be such that (13) holds for ε/ 2. Set Q := max { Q , Q 1 2 } and t := | Y j ( α N , b /E ( ) ¯ ) | . Notice that t depends on α N ( ), ¯ and b j , which we suppress, and that t = | S j ( ¯ ) b | . 22

Let ( α N , b ( ) ¯ ) ∈ ρ jk be such that | α N ( ) | &gt; Q . Then (14)

$$\cdot \frac { \zeta } { 2 } \cdot$$

$$\text{Let (} \alpha ( N ), \bar { b } ) \in \r$$

where the penultimate step follows by applying (12) to Q and ε/ 2 for each ¯ d ∈ S j ( ¯ ), b since ( α N , b, d ( ) ¯ ¯ ) ∈ π j if ¯ d ∈ S j ( ¯ ). b As ( α N , b ( ) ¯ ) ∈ ρ jk and | α N ( ) | &gt; Q , we similarly apply (13) to Q and ε/ 2 to yield

$$\lambda \, \cdot \, \cdot \, \cdot \, \cdot$$

$$& \text{and} \, | \alpha ( \mathcal { V } ) | > \$$

$$\langle ( N ) ) | & \leq \frac { \varepsilon } {$$

Let g jk h j ( α N ( )) := g jk ( α N ( )) h j ( α N ( )) . We now wish to show that for all ( α N , b ( ) ¯ ) ∈ ρ jk such that | α N ( ) | &gt; Q .

$$\begin{array} {$$

∣ ∣ for all ( α N , b ( ) ¯ ) ∈ ρ jk as | α N ( ) | → ∞ . We first assume that h j ( α N ( )) = 0. The argument now divides into two cases. The adaptation needed for the case h j ( α N ( )) = 0 is handled afterwards.

Case 1. t · h j ( α N ( )) ≤ g jk ( α N ( )).

$$\i o m \, \langle \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \, \iota \} \\ \left | & \, \left | Y _ { j } ( \alpha ( N ), \bar { b } ) / E \right | - \frac { g _ { j k } } { h _ { j } } ( \alpha ( N ) ) \right | \leq \varepsilon \cdot \frac { g _ { j k } } { h _ { j } } ( \alpha ( N ) ) \\ \intertext { n \, \text{ which } ( 1 7 ) \, \text{ follows for all } ( \alpha ( N ), \bar { b } ) \, \in \, \rho _ { j k } ^ { g } \coloneqq \{ ( \alpha ( N ), \bar { b } ) \, \in \, \rho _ { j k } ^ { g } \coloneqq \{ ( \alpha ( N ), \bar { b } ) \, \in \, \rho _ { j k } ^ { g } \coloneqq \{ ( \alpha ( N ), \bar { b } ) \, \in \, \rho _ { j k } ^ { g } \coloneqq \{ ( \alpha ( N ), \bar { b } ) \, \in \, \rho _ { j k } ^ { g } \coloneqq \{ ( \alpha ( N ), \bar { b } ) \, \in \, \rho _ { j k } ^ { g } \coloneqq \{ ( \alpha ( N ), \bar { b } ) \} \, \in \, \rho _ { j k } ^ { g } \coloneqq \{ ( \alpha ( N ), \bar { b } ) \} \, \in \, \rho _ { j k } ^ { g } \coloneqq \{ ( \alpha ( N ), \bar { b } ) \} \, \in \, \rho _ { j k } ^ { g } \coloneqq \{ ( \alpha ( N ), \bar { b } ) \} \, \in \, \rho _ { j k } ^ { g } \coloneqq \{ ( \alpha ( N ), \bar { b } ) \} \, \in \, \rho _ { j k } ^ { g } \coloneqq \{ ( \alpha ( N ), \bar { b } ) \} \, \in ( \alpha ( N ), \bar { b } ) \} \, \in \, \rho _ { j k } ^ { g } \coloneqq \{ ( \alpha ( N ), \bar { b } ) \} \} \, \text{ as } \left | \alpha ( N ) \right | \to \infty \,. \, \text{ END OF } \, \text{ CASE } \, 1.$$

/negationslash

From (16) and the fact that t = | Y j ( α N , b /E ( ) ¯ ) | , we obtain

∣ ∣ from which (17) follows for all ( α N , b ( ) ¯ ) ∈ ρ g jk := { ( α N , b ( ) ¯ ) ∈ ρ jk : t · h j ( α N ( )) ≤ g jk ( α N ( )) } as | α N ( ) | → ∞ . End of Case 1.

$$\text{CASE } 2. \ g _ { j k } ( \alpha ( N ) ) < t \cdot h _ { j } ( \alpha ( N ) ).$$

.

From (16) we obtain

Therefore

$$\text{From (16) we obtain} \\ \left | | Y _ { j } ( \alpha ( N ), \bar { b } ) / E | - \frac { g _ { j k } ( \alpha ( N ) ) } { h _ { j } ( \alpha ( N ) ) } \right | & \leq \varepsilon \cdot | Y _ { j } ( \alpha ( N ), \bar { b } ) / E |. \\ \text{Therefore} \\ \left | | Y _ { i } ( \alpha ( N ), \bar { b } ) / E | - \frac { g _ { j k } } { \alpha } ( \alpha ( N ) ) \right | & = o \left ( | Y _ { i } ( \alpha ( N ), \bar { b } ) / E | \right )$$

∣ ∣ for all ( α N , b ( ) ¯ ) ∈ ρ h jk := { ( α N , b ( ) ¯ ) ∈ ρ jk : g ji ( α N ( )) &lt; t · h j ( α N ( )) } as | α N ( ) | → ∞ . By a straightforward argument ('little-o-exchange') we have

$$\text{Therefore} \\ \left | | Y _ { j } ( \alpha ( N ), \bar { b } ) / E | - \frac { g _ { j k } } { h _ { j } } ( \alpha ( N ) ) \right | = o \left ( | Y _ { j } ( \alpha ( N ), \bar { b } ) / E | \right ) \\ \text{for all } ( \alpha ( N ), \bar { b } ) \in \rho _ { j k } ^ { h } \colon = \left \{ ( \alpha ( N ), \bar { b } ) \in \rho _ { j k } \colon g _ { j i } ( \alpha ( N ) ) < t \cdot h _ { j } ( \alpha ( N ) ) \right \} \\ \text{as } | \alpha ( N ) | \to \infty. \text{ By a straightforward argument } ( `little-o-exchange`)$$

$$\begin{array} { c } \stackrel { \prime } { \lambda } \times \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stack | \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stack { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \right | \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \stackrel { \prime } { \lambda } \, \right \} \end{array} \,, \\ \text{$we have $^{*}$} \, \begin{array} { c } \left | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | } \end{array}$$

/negationslash

As ρ jk = ρ g jk ∪ ρ h jk , the two cases together establish (17) in the case that h j ( α N ( )) = 0.

We briefly address the modifications necessary if h j ( α N ( )) = 0, to avoid dividing by zero. Applying Lemma 2.5.3, by taking a larger Q if necessary we may assume that h j is positive-definite for all α N ( ) with | α N ( ) | &gt; Q . If h j ( α N ( )) = 0 then by definition we have g jk h j := 0. Then (17) still holds, since for | α N ( ) | &gt; Q we have that h j ( α N ( )) = 0 implies | Y j ( α N , b ( ) ¯ ) | = 0 and hence | Y j ( α N , b /E ( ) ¯ ) | = 0.

$$I \coloneqq \left \{ ( k _ { 1 }, \dots, k _ { \ell } ) \, \colon 1 \leq k _ { j } \leq e _ { j }, 1 \leq j \leq \ell \right \} \, \text{and} \, \rho _ { ( k _ { 1 }, \dots, k _ { \ell } ) } \coloneqq \bigcap _ { j = 1 } ^ { \ell } \rho _ { j k _ { j } } \\ \text{for each} \, ( k _ { 1 } \dots \dots k _ { \ell } ) \, \in I. \, \text{Then} \, P \, \coloneqq \{ \alpha _ { \ell \colon } \, \colon \, ( k _ { 1 } \dots \dots k _ { \ell } ) \, \in I \} \, \text{forms}$$

Wefinally can proceed to calculate the approximate size of ϕ α N ( ( ) r n · , b ¯ ) /E . For each j ∈ { 1 , . . . , /lscript } we have a finite partition P j := { ρ jk : 1 ≤ k ≤ e j } of C (¯). y We use these partitions to construct a single finite partition Φ of C (¯). y Define for each ( k , . . . , k 1 /lscript ) ∈ I . Then P := { ρ ( k ,...,k 1 /lscript ) : ( k , . . . , k 1 /lscript ) ∈ I } forms a finite partition of C (¯). y We now show that this partition works.

$$\varphi ( \alpha ( N ) ^ { r \cdot n }, \bar { b } ) = \bigcup _ { j = 1 } ^ { \ell } Y _ { j } ( \alpha ( N ), \bar { b } ). \\ _ { ; } ( \alpha ( N ), \bar { b } ) \text{ is a union of } E \text{-equivalence cli}$$

We have

Since each Y j ( α N , b ( ) ¯ ) is a union of E -equivalence classes and the Y j ( α N , b ( ) ¯ ) are pairwise disjoint, they form a partition of ϕ α N ( ( ) r n · , b ¯ ) /E . Hence

$$\left ( 1 8 \right ) \right ) \left | \varphi ( \alpha ( N ) ^ { r \cdot n }, \bar { b } ) / E \right | = \sum _ { j = 1 } ^ { \ell } \left | Y _ { j } ( \alpha ( N ), \bar { b } ) / E \right |. \\ \text{Let $\varepsilon > 0$ and $(k_{1},\dots,k_{\ell})\in I$. For each $j\in \{1,\dots,\ell\}$, let $Q(\dots,\ell\}$} \right ) \left | \varphi ( \alpha ( N ) ^ { r \cdot n }, \bar { b } ) / E \right |.$$

Let ε &gt; 0 and ( k , . . . , k 1 /lscript ) ∈ I . For each j ∈ { 1 , . . . , /lscript } , let Q j ( ) ∈ N &gt; 0 be such that (17) holds for ε//lscript , where we take g jk := g jk j . Set

Q ′ := max { Q j ( ) : 1 ≤ j ≤ } l . Then for every ( α N , b ( ) ¯ ) ∈ ρ ( k ,...,k 1 /lscript ) with | α N ( ) | &gt; Q ′ ,

$$Q ^ { \prime } \coloneqq \max \{ Q ( j ) \, \colon 1 \, \leq \, j \, \leq l \}. \, \text{ Then for every } ( \alpha ( N ), \bar { b } ) \, \in \, \rho _ { ( k _ { 1 }, \dots, k _ { \ell } ) } \\ \left | | \varphi ( \alpha ( N ) ^ { r ^ { n } }, \bar { b } ) / E | - \sum _ { j = 1 } ^ { \ell } \frac { g _ { j k _ { j } } } { h _ { j } } ( \alpha ( N ) ) \right | & = \left | \sum _ { j = 1 } ^ { \ell } \left | Y _ { j } ( \alpha ( N ), \bar { b } ) / E | - \sum _ { j = 1 } ^ { \ell } \frac { g _ { j k _ { j } } } { h _ { j } } ( \alpha ( N ) ) \right | \, \text{ (by } ( 18 ) ) \\ & \leq \sum _ { j = 1 } ^ { \ell } \left | \left | Y _ { j } ( \alpha ( N ), \bar { b } ) / E | - \frac { g _ { j k _ { j } } } { h _ { j } } ( \alpha ( N ) ) \right | \\ & \leq \sum _ { j = 1 } ^ { \ell } \frac { \varepsilon } { \ell } \cdot \frac { g _ { j k _ { j } } } { h _ { j } } ( \alpha ( N ) ) \\ & = \varepsilon \cdot \frac { g _ { j k _ { j } } } { h _ { j } } ( \alpha ( N ) ) \\ \text{where the penultimate step follows by applying (17) to } Q ^ { \prime } \text{ and } \varepsilon / l \text{ for } \\ \text{each } i \, \in \{ 1 \dots \ell \}. \, \text{since } ( \alpha ( N ). \, \bar { b } ) \, \in \, \rho _ { \ell }. \, \text{$\omega$}. \, \text{ Hence}$$

where the penultimate step follows by applying (17) to Q ′ and ε/l for each j ∈ { 1 , . . . , /lscript } , since ( α N , b ( ) ¯ ) ∈ ρ ( k ,...,k 1 /lscript ) ⊆ ρ jk j . Hence

We now pull everything back to C ′ .

$$& \text{each $j\in\{1,\dots,\ell\}$, since $(\alpha(N),\bar{b})\in\rho_{(k_{1},\dots,k_{\ell})}\subseteq\rho_{jk_{j}}$ Hence} \\ & ( 1 9 ) \quad & \left | \left | \varphi ( \alpha ( N ) ^ { r \cdot n }, \bar { b } ) / E \right | - \sum _ { j = 1 } ^ { \ell } \frac { g _ { j k _ { j } } } { h _ { j } } ( \alpha ( N ) ) \right | = o \left ( \sum _ { j = 1 } ^ { \ell } \frac { g _ { j k _ { j } } } { h _ { j } } ( \alpha ( N ) ) \right ) \\ & \text{for all $(\alpha(N),\bar{b})\in\rho_{(k_{1},\dots,k_{\ell})}$ as $|\alpha(N)|\to\infty$.} \\ & \text{We now pull everything back to $\mathcal{C}^{\prime}$. Put} \\ & \varrho ^ { \prime } \quad \, - \, \int \, N \, \alpha \quad \, \subset \, \mathcal { C } ^ { \prime } \, \sum _ { j = 1 } ^ { \ell } \frac { \cdot \, \sum _ { j = 1 } ^ { \ell } \frac { \cdot \, \sum _ { j = 1 } ^ { \ell } \frac { \cdot \, \sum _ { j = 1 } ^ { \ell } \frac { \cdot \, \sum _ { j = 1 } ^ { \ell } \frac { \cdot \, \sum _ { j = 1 } ^ { \ell } \frac { \cdot \, \sum _ { j = 1 } ^ { \ell } \frac { \cdot \, \sum _ { j = 1 } ^ { \ell } \frac { \cdot \, \sum _ { j = 1 } ^ { \ell } \frac { \cdot \, \sum _ { j = 1 } ^ { \ell } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot 0 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot. \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdots } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot + \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1. } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \, \sum _ { j = 1 } \frac { \cdot \\ \sqrt { f } ( \alpha, \lambda ) \in \rho _ { (k_{1}, \lambda ) } \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \la _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { ( k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{2}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (f_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1}, \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \bar { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 } \lambda _ { (k_{1 }$$

ρ ′ ( k ,...,k 1 /lscript ) := { ( N,a , . . . , a 1 m ) ∈ C ( ′ , y 1 , . . . , y m ) : ( α N , f ( ) ˜ ( a 1 ) , . . . , f ˜ ( a m )) ∈ ρ ( k ,...,k 1 /lscript ) } . Then P := ′ { ρ ′ ( k ,...,k 1 /lscript ) : ( k , . . . , k 1 /lscript ) ∈ I } is a finite partition of ( C ′ , y 1 , . . . , y m ). By our earlier assumption that each ρ jk respects the equivalence relation E , the set ρ ′ ( k ,...,k 1 /lscript ) does not depend on the choice function ˜ . f We also define

$$\frac { g _ { j k } } { h _ { j } } ( N ) \col$$

for N ∈ C ′ . Then (10) and (19) together imply for every ( k , . . . , k 1 /lscript ) ∈ I that

∣ ∣ for all ( N,a , . . . , a 1 m ) ∈ ρ ′ ( k ,...,k 1 /lscript ) as | N | → ∞ . Hence C ′ is a weak Frac( R )-m.a.c., completing the proof of part (i) of the theorem.

$$\begin{array} {$$

Proof of (ii). Following on from the proof of (i), we need to show that the partition P ′ of ( C ′ , y 1 , . . . , y m ) is ∅ -definable. To this end, let ρ ′ ( k ,...,k 1 /lscript ) ∈ P . ′ Since C is an R -m.a.c., each ρ jk is ∅ -definable and hence the intersection ρ ′ ( k ,...,k 1 /lscript ) also is ∅ -definable. Thus the partition P of ( C , y ¯ 1 , . . . , y ¯ m ) is ∅ -definable. Let { ψ ( k ,...,k 1 /lscript ) (¯ y , . . . , y 1 ¯ m ) : ρ ( k ,...,k 1 /lscript ) ∈ P } be the set of defining L -formulas. Note that this is where the point of Remark 2.5.5 comes into play. In the proof of (i) we could ignore the translation parameters by applying Lemma 2.1.5. We

cannot do that here, since expanding C by constant symbols might prevent it from being ∅ -interpretable in C ′ . Thus, to guarantee that each { ψ ( k ,...,k 1 /lscript ) (¯ y , . . . , y 1 ¯ m ) is parameter-free, it appears that we need to assume that no translation parameters are required in the interpretation of C ′ in C .

For brevity we now write ρ and ρ ′ for ρ ( k ,...,k 1 /lscript ) and ρ ′ ( k ,...,k 1 /lscript ) , respectively, and ψ for ψ ( k ,...,k 1 /lscript ) , since the subscript ( k , . . . , k 1 /lscript ) no longer plays a role. For all ( N,a ¯) ∈ ( C ′ , y 1 , . . . , y m ) we have (20)

$$($$

⇐⇒ | ◦

$$( N, \bar { a } ) \in \rho ^ { \prime } & \iff$$

Since α N ( ) ∗ is the ∅ -interpretation of α N ( ) in N , we can find a parameter-free L ′ -translation ψ ′ (¯ ) of y ′ ψ y (¯) such that

$$\begin{array} {$$

where ˜ is a choice function for g g in the same way that ˜ is f a choice function for f . Since the isomorphism g f ∗ : N → N ∗∗ is uniformly ∅ -definable across C ′ , we can find a parameter-free L ′ -formula ψ ′′ ( y , . . . , y 1 m ) such that

$$& N \models \psi ^ { \prime } ( \tilde { g } \circ \tilde { f } ( \bar { a } ) ) \iff N \models \psi ^ { \prime \prime } ( \bar { a } ). \\ & \tau _ { \widehat { \sim } \dots \dots } \, / \infty \vee / \infty \vee \dots \dots }$$

Together (20), (21) and (22) yield

$$( N, \bar { a } ) \in \rho ^ { \prime } \iff N \models \psi ^ { \prime \prime } ( \bar { a } ).$$

So ρ ′ is definable, as required.

Proof of (iii). This is a straightforward special case of the proof of (i), with no quotienting involved, and we omit the details. /square

## 3. Three examples of multidimensional asymptotic classes

We discuss here three examples of (weak) m.a.c.s that seem enlightening. The first, systems of vector spaces over a field, gives an example of dimensions ranging independently. It also is used in the second example, finite modules for the path algebra over a finite field for a quiver of finite representation type. The third example, vector spaces over a finite field with a bilinear form, has particular interest as ultraproducts of this class do not in general have simple theory.

- 3.1. Families of vector spaces. The example in this subsection is a slight generalisation of the family of 2-sorted structures ( F , V ) considered in Theorem 4.1 of [30]. We consider it partly because the extra generality seems to be needed for the quiver representations in the next subsection. Additionally, the proof in [30] rests on a quantifier elimination result from [32] which we later realised is not quite correct - so we

take the opportunity to state the correct QE result and indicate how the proof of [30, Theorem 4.1] should be corrected. We do not quite see how to extract our result from [30] and Feferman-Vaught.

Theorem 3.1.1. Let C d be the collection of ( d + 1) -sorted structures of the form ( F, V , . . . , V 1 d ) , where F is a finite field in the language L rings of rings, and each V i is a finite dimensional F -vector space, each carrying a distinct copy of the language of groups and with distinct function symbols for scalar multiplication F × V i → V i . Then C d is a polynomial R -m.a.c.and the polynomial functions in R have the form h = p ( F V , 1 , . . . , V d ) , so that if M = ( F, V , . . . , V 1 d ) ∈ C d then h M ( ) = p ( | F , | | V 1 | , . . . , | V d | ) .

We consider the structures of C d in the language L d vs as described in the theorem, but in addition for each i ∈ { 1 , . . . , d } and each n ≥ 1 an n -ary relation symbol θ i n ( v , . . . , v 1 n ) in the V i sort, and for each such i, n and each j ∈ { 1 , . . . , n } an n +1-place function symbol λ i n,j . We interpret θ i n so that ( M,V ,.. . , V 1 d ) | = θ i n ( v , . . . , v 1 n ) if and only if v , . . . , v 1 n ∈ V i and v , . . . , v 1 n are linearly independent. Furthermore, if ( M,V ,.. . , V 1 d ) | = θ i n ( v , . . . , v 1 n ) and w = ∑ n k =1 a v k k with a , . . . , a 1 k ∈ F , then λ i n,j ( v , . . . , v 1 n , w ) = a j , and we define λ i n,j ( v , . . . , v 1 n , w ) = 0 F otherwise. Observe that the θ i n ( v , . . . , v 1 n ) and λ i n,j are definable in the original language L d vs . Let T d vs ( F ) be the theory of structures ( F, V , . . . , V 1 d ) in this language where each V i is an infinite-dimensional vector space over the field F .

Proposition 3.1.2. The theory T d vs ( F ) is complete and has quantifier elimination relative to the field sort; that is, any formula is equivalent modulo T d vs ( F ) to one whose only quantifiers are in the field sort.

Note that in [30, Lemma 4.1], resting on [32], this is stated with d = 1 without the function symbols λ i n,j . However, it is clear that these (or some replacement) are needed. A proof incorporating the function symbols also is given in the forthcoming [20].

Proof of Theorem 3.1.1. For clarity, we just give the argument for d = 1; the argument for d &gt; 1 is essentially the same. As in Remark 2.4.2-see also the end of the proof of [30, Theorem 4.1]-it suffices to consider formulas with a single variable (and possibly parameters). It remains to explain how the proof of [30, Lemma 4.2] needs to be adjusted to take into account that the language includes the function symbols λ i n,j . Consider a set defined by a formula ϕ x, bc ( ¯ ¯), where, in the formula ϕ x, vy ( ¯¯), ¯ ranges over the vector space sort and v ¯ over the field sort. y

Suppose first that x ranges over the vector space sort. As in [30, Lemma 4.2] we may suppose that ϕ is a conjunction of quantifier-free formulas and field formulas. Using the θ n formulas, we may assume that ¯ is linearly independent and reduce to two possibilitiess: v where

x is in the span of ¯, v and where it is not. In the first case, we may identify the span of ¯ with v F n , and the original formula reduces to a field formula defining a set with cardinality approximately a polynomial in F , with the definability clause also holding. In the second case, the λ -functions play no role and the argument from [30] applies.

Now assume that x ranges through the field sort (Case 2 in the proof of [30, Lemma 4.2]). The proof is essentially as given there, except that polynomials p x, y ( ¯) have to be replaced by terms involving also the λ -functions. In each case, such formulas can be replaced by field formulas, and the definability clause also holds. /square

3.2. A m.a.c. from representation theory. For background on the relevant representation theory of quivers, see for example [8] or [64].

A quiver is a directed graph Q , and we assume that Q has vertex set { v , . . . , v 1 n } . Given a field k , the path algebra kQ is an associative algebra with basis the set of all directed paths in Q , including a trivial path e i at each vertex v i . Multiplication is defined on the basis by composition of paths, a product taking value 0 if the composition is undefined.

A representation of Q (with base field k ) consists of a k -vector space V i for each i = 1 , . . . , n and a k -linear map ρ : V i → V j for each arrow v i → v j . The dimension vector of the representation is the sequence ( r , . . . , r 1 n ) where dim( V i ) = r i for each i . There is a natural notion of direct sum of two representations, and a representation of Q is indecomposable if it cannot be written as a direct sum of two non-trivial representations. It is well-known that the category of representations of Q over k is equivalent to the category of left kQ -modules. Indeed, given a representation of Q with k -vector spaces V i for each i , one forms the k -vector space V = ⊕ n i =1 V i . Left multiplication by e i corresponds to the linear map V → V given by projection V → V i composed with inclusion V i → V , and given a directed path α : v i → v j with corresponding linear map ρ : V i → V j , given by composing maps coming from arcs, left multiplication by α is the linear map induced by ρ on V i and by the 0-map on the other V k .

The quiver Q has finite representation type if it has just finitely many isomorphism types of indecomposable representations. This property depends only on Q and not on k . By a famous theorem of Gabriel [28], a quiver has finite representation type if and only if it is a finite disjoint union of oriented copies of the Dynkin diagrams A , D , E , E , E n n 6 7 8 . Each indecomposable is associated with a unique positive root of the 'Tits form' (see [28], e.g.) of the quiver.

We now suppose Q is a quiver of finite representation type. Then the indecomposables of Q each have a fixed dimension vector which is independent of the base field k . Furthermore, the linear maps V i → V j are defined over Z , so are independent of the field k ; that is, we may

identify the V i with finite powers of k in such a way that the linear maps are given by matrices over Z . This can be seen from the treatment in [8]: it is shown there that the indecomposable representations can be constructed from 1-dimensional simple modules (for a possibly differently oriented version of the quiver) by applying a sequence of reflection functors, and this process preserves the property of being defined over Z . It also follows from Theorem 1 of [22], which says that for each positive root of the Tits form of the quiver there is a unique (up to isomorphism) representation of Q by a finitely generated free Z -module, with the property that over any field, it gives the (unique) indecomposable representation of that dimension vector over that field. 1

We view a representation of Q as a 3-sorted structure ( k, kQ, V ), where k is the base field and V is the corresponding k -vector space and kQ -module. We view ( k, kQ, V ) as a structure in a 3-sorted language L Q with sorts S F (for the field F q ), S A (for the algebra F q Q ), and S V (for the vector space V ). The language L Q has disjoint copies of L rings for the sorts S F and S A , the language L groups of groups on S V , a function symbol S F × S A → S A for scalar multiplication on the algebra, a function symbol S F × S V for scalar multiplication (by field elements) on V , and a function symbol S A × S V → S V for the left action of the algebra sort on the vector space sort.

Theorem 3.2.1. Let Q be a quiver of finite representation type. Then the collection

C ( Q ) := { ( F q , F q Q,V ) : q prime power , V finite-dimensional F q Q -module } is a weak polynomial m.a.c..

Proof. Let W k ,...,W 1 ( ) t ( k ) denote the indecomposable representations of Q determined by corresponding positive roots of the Tits form of Q . Suppose W k i ( ) has dimension vector ( r i 1 , . . . , r in ) and put s i := r i 1 + . . . + r in = dim k W k i ( ). For each i = 1 , . . . , t and prime power q let T i ( q ) = ( F q , F q Q,W i ( F q )). Put C i := { T i ( q ) : q prime power } , a family of finite L Q -structures.

Claim. (i) The structure T i ( q ) is interpretable in the field F q , uniformly in q , and includes the home sort F q .

- (ii) The class C i is an N -dimensional weak asymptotic class (i.e. asymptotic class without the definability clause), where N = 1 + s i +dim F q ( F q Q ).

Proof of Claim. (i) The path algebra F q Q has a fixed dimensionthe number of paths of Q -over F q . This is finite for the quivers under consideration. The algebra multiplication is uniformly definable on

1 The context in [22] is more general, but one takes R = Z , and for a Dynkin quiver positive roots are exactly real Schur roots , and furthermore working over a field, indecomposable modules are exactly exceptional modules .

the basis, and so extends by linearity. Thus, ( F q Q, F q ) is uniformly interpretable in F q . The vector space W i ( F q ) has a fixed dimension vector and so is a sum of n F q -vector spaces and thus is uniformly interpretable in F q . If we name parameters to equip the vector space at each Q -vertex with a basis then the linear maps between them determined by arrows are given uniformly by matrices over Z . Thus the maps W i ( F q ) → W i ( F q ) given by basis elements of F q Q are also given uniformly. It follows by linearity that multiplication by arbitrary elements of F q Q is definable uniformly.

- (ii) This follows immediately from (i) and [24, Lemma 3.7].

An F q Q -module V has form W 1 ( F q ) l 1 ⊕ . . . ⊕ W t ( F q ) l t . We first claim that if W denotes one of the W i , of dimension s , then the class

$$\mathcal { D } ( Q ) & = \{ ( \mathbb { F } _ { q }, \mathbb { F } _ { q } Q, W ( \mathbb { F } _ { q } ) ^ { l } ) \, \colon q \, \text{a prime power,} \, l \in \mathbb { N } \, \langle \, 0 \} \} \\ \cdot \quad \mathfrak { v } \quad \mathfrak { m } \, \cap \quad \mathfrak { v } \, \ \mathfrak { m } \, \neq \, \cdot \quad \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \, \end{array}$$

↦

For the general case, observe that by Theorem 3.1.1 the class of structures ( F q , V 1 , . . . , V t ), where each V i is a finite-dimensional vector space over F q , is a polynomial m.a.c.. Since W 1 ( F q ) l 1 ⊕ . . . ⊕ W t ( F q ) l t is uniformly interpretable in ( F q , U ( l 1 , q ) , . . . , U ( l t , q )), the result follows from Theorem 2.5.4. /square is a m.a.c.. Now the F q Q -module W ( F q ) l is F q Q -isomorphic to W q ( ) ⊗ F q U l, q ( ), where U l, q ( ) is an l -dimensional vector space over F q , and the paths in Q act as the identity map on U l, q ( ): Indeed, if ( f , . . . , f 1 l ) is a basis of U l, q ( ) then the map ( w , . . . , w 1 l ) → w 1 ⊗ f 1 + . . . + w l ⊗ f l provides the required F q Q -isomorphism. By Example 2.2.5(1)(b)-see also Theorem 3.1.1-the class of structures ( F q , U ( l, q )) is a polynomial m.a.c. Furthermore, each element of W q ( ) ⊗ U l, q ( ) can be written as a sum of at most s simple tensors, i.e., elements of form w ⊗ u where w ∈ W q ( ) and u ∈ U l, q ( ). The equivalence relation which expresses that two such sums of simple tensors are equal in W q ( ) ⊗ U l, q ( ) is determined by bilinearity conditions and so is definable, and it follows that the vector space W q ( ) ⊗ U l, q ( ) is interpretable in ( F q , U ( l, q )). Since the multiplication by paths in Q is ∅ -definable in ( F q , U ( l, q )), it follows from Theorem 2.5.4 that D ( Q ) is a weak polynomial m.a.c..

## Remark 3.2.2.

- (i) In Theorem 3.2.1 (and the Corollary below), we suspect that 'weak m.a.c.' can be replaced by 'm.a.c.'. The difficulty is that in the claim we have mutual interpretability without parameters between the T i ( q ) and the F q , but it is not clear that we have parameter-free bi-interpretability, since the vector spaces at each quiver vertex do not naturally come with a uniformly definable basis. In the claim, if we identify the vector space at each vertex with a power of F q , so that the corresponding maps between them are given uniformly by matrices over Z , then the class of corresponding structures of form ( F q , F q Q, F s i q ) does form a m.a.c..

- (ii) The conclusion of Theorem 3.2.1 still holds if V is expanded by unary predicates interpreted by the powers of indecomposables W i ( F q ) l i .

Corollary 3.2.3. Let k be a positive integer and let C be the collection of all structures of form ( F q , W , . . . , W 1 k ) , where q is a prime power and W 1 ≤ W 2 ≤ . . . ≤ W k are finite-dimensional F q -vector spaces. We view these as two-sorted structures, with a field sort and a vector space sort expanded by predicates for subspaces W ,. . . , W 1 k -1 of W k . Then C is a weak polynomial m.a.c..

Proof. Let Q be the quiver obtained by orienting the Dynkin diagram A k as a directed path v 1 → ··· → v k , and let α i be the arc v i → v i +1 . For each structure ( F q , W , . . . , W 1 k ) as above, let r i := dim( W i ), and let V be a representation of Q over F q with an r i -dimensional vector space V i at vertex v i for each i and with α i corresponding to an embedding V i → V i +1 . Weview V as an F q Q -module, a member of C ( Q ) as described in the proof of Theorem 3.2.1. Then ( F q , W , . . . , W 1 k ) is uniformly interpretable in the structure ( F q , F q Q,V ) since we may identify W k with V k and W i with α k -1 ◦· · · ◦ α i ( V i ). The result follows. /square

Remark 3.2.4. An ultraproduct of members of C in Corollary 3.2.3 has SU-rank at most ω k .

- 3.3. Vector spaces with bilinear forms. Let V be a vector space over a field F , equipped with a bilinear form β : V × V → F . For v ∈ V we put v ⊥ = { w ∈ V : β v, w ( ) = 0 . } The form β is said to be non-degenerate if ( ∀ v ∈ V ) v ⊥ = V → v = 0, and to be alternating if ∀ v ∈ V ( β v, v ( ) = 0). We view vector spaces with a bilinear form as 2-sorted structures ( V, F ) in a language L bil which has the language of groups on the sort for V , the language of rings on the sort for F , a function symbol F × V → V for scalar multiplication, and a function symbol β : V × V → F for the bilinear form. The expanded language L bil qe , contains also-as in Section 3.1-for each n ≥ 1, an n -ary relation symbol θ n , and, for each n ≥ 1 and j = 1 , . . . , n , function symbols λ n,j . In structures ( V, F ), the relation θ n ( v , . . . , v 1 n ) holds just of linearly independent n -tuples in the V -sort, and if v , . . . , v 1 n are linearly independent and w = ∑ n i =1 a v i i for some a , . . . , a 1 n ∈ F , then λ n,j ( v , . . . , v 1 n , w ) = a j , with the λ n,j taking value 0 F otherwise.

Proposition 3.3.1. The theory of non-degenerate alternating bilinear forms has quantifier elimination in the vector space sort in the language L bil qe , ; that is, any formula is uniformly (in all such structures) equivalent to one with no vector space quantifiers.

Proof. A version of this is claimed in Theorem 9.2.3 of [32] but is not quite correct in the form there, since the functions λ n,j are omitted

but are clearly needed. With these functions, it is straightforward to adapt Granger's proof to obtain the result; a detailed proof is given in [20]. See also Theorem 5.18 of [33], though some care is needed in interpreting results from that paper since, though the language is treated as 2-sorted, the authors do not think of the field as varying. /square

Lemma 3.3.2. Let V be a finite-dimensional vector space over the finite field F q , equipped with a non-degenerate bilinear form β : V × V → F q , and let v , . . . , v 1 m be linearly independent and a , . . . , a 1 m ∈ F q . Then the set { v ∈ V : ∧ m i =1 β x, v ( i ) = a i } has cardinality | V /q | m .

Proof. The map ¯ : β V → F m q given by ¯ ( β x ) = ( β x, v ( 1 ) , . . . , β ( x, v m )) is a group homomorphism, so it suffices to show that it is surjective. Extend v , . . . , v 1 m to a basis v , . . . , v 1 l of V . The homomorphism β ∗ : V → F l q given by β ∗ ( x ) = ( β x, v ( 1 ) , . . . , β ( x, v l )) is injective (by nondegeneracy) and so is surjective. It follows that ¯ is also surjective, as β required.

/square

Theorem 3.3.3. Let C bil be the collection of all L bil structures ( V, F ) where V is a finite-dimensional vector space over the finite field F , equipped with a non-degenerate alternating bilinear form β . Let R = Q ( F V )[ ] . Then C bil is an R -m.a.c..

Proof. We apply Theorem 2.4.1(i), working in the richer language L bil qe , with quantifier elimination in the vector space sort. Consider first a formula ϕ x, yξ ( ¯ ¯ ), where x and ¯ = ( y y , . . . , y 1 m ) range through the V -sort and ¯ ξ = ( ξ , . . . , ξ 1 n ) through the F -sort. We aim to compute the approximate cardinality of ϕ V, u , . . . , u ( 1 m , a 1 , . . . , a n ) in ( V, F ) ∈ C bil , for u , . . . , u 1 m ∈ V and a , . . . , a 1 n ∈ F . By adjusting ϕ , we may suppose that ϕ x, y , . . . , y ( 1 m , ξ 1 , . . . , ξ n ) determines whether or not x lies in the linear span 〈 y , . . . , y 1 m 〉 . We may also assume that ϕ x, y , . . . , y ( 1 m , ξ 1 , . . . , ξ n ) implies that y , . . . , y 1 m are linearly independent; indeed, if say y , . . . , y 1 r span 〈 y , . . . , y 1 m 〉 with r &lt; m , we may replace y r +1 , . . . , y m each by a linear combination of the form ∑ r i =1 ν y i i , where the ν i for i = 1 , . . . , r are new field variables.

Suppose next that ϕ x, y , . . . , y ( 1 m , ξ 1 , . . . , ξ n ) → x / ∈ 〈 y , . . . , y 1 m 〉 . Using bilinearity of β , we may introduce a new field variable ρ i for each term β x, y ( i ) in ϕ , and replace ϕ by a formula ϕ ∗ ( x, y, ξ, ρ ¯ ¯ ¯) of the form β x, y ( i 1 ) = ρ 1 ∧ . . . ∧ β x, y ( i r ) = ρ r ∧ χ x, y, ξ, ρ ( ¯ ¯ ¯), where χ 32

Suppose first that ϕ x, y , . . . , y ( 1 m , ξ 1 , . . . , ξ n ) → x ∈ 〈 y , . . . , y 1 m 〉 . We may, definably over u , . . . , u 1 m , identify 〈 u , . . . , u 1 m m 〉 with F m , and define β uniformly on F m , putting β c, d (¯ ¯ ) = ∑ m i =1 ∑ j =1 c d β i j ( u , u i j ). Thus, using quantifier elimination in the sort V , the formula ϕ can in this case be replaced by an L rings -formula, and the result follows in this case from the fact that finite fields form a m.a.c. with functions taking values of form µ F | | d as in [14].

involves no terms of the form β x, y ( i ). Working in ( V, F ), let ¯ u ∈ V m be linearly independent, ¯ a ∈ F n and ¯ b ∈ F r . Since we have assumed that ϕ implies that x ∈ V \ 〈 u , . . . , u 1 m 〉 , applying Lemma 3.3.2 we see in this case that there are ( | V | - | F | m ) / F | | r elements x ∈ V satisfying β x, u ( i 1 ) = b 1 ∧ . . . ∧ β x, u ( i r ) = b r . Moreover, as ¯ ranges over b F r the sets of x ∈ V satisfying β x, u ( i 1 ) = b 1 ∧ . . . ∧ β x, u ( i r ) = b r are pairwise disjoint. If we further replace each β y , y ( i j ) for i &lt; j ≤ m by a new variable τ ij , and each β y , y ( i i ) by 0 in χ x, y, ξ, ρ ( ¯ ¯ ¯), then our formula ϕ ∗ becomes ϕ ∗∗ ( x, y, ξ, ρ, τ ¯ ¯ ¯ ¯) of the form where θ is a formula in the 2-sorted vector space language for ( V, F ). Now let ¯ c ∈ F k , where k = ( m 2 ) , be such that ∧ i&lt;j β u , u ( i j ) = c ij . Since for any two linearly independent m + 1 tuples ¯ w , w 1 ¯ 2 ∈ V m +1 there is an automorphism of ( V, F ) that fixes F pointwise taking ¯ w 1 to ¯ , it follows that for each w 2 ¯ b ∈ F m , either θ x, y, a, b, c ( ¯ ¯ ¯ ¯) is satisfied by all such ¯ (substituted for ( w x, y ¯)) or it is satisfied by no such ¯. w By identifying the span of linearly independent m +1 tuples with F m +1 , e.g., it follows that there is a field formula θ ∗ ( ¯ ξ, ρ, τ ¯ ¯) such that for all ¯ b ∈ F m , there exist linearly independent v, u 1 , . . . , u m ∈ V such that θ v, u, a, b, c ( ¯ ¯ ¯ ¯) holds in ( V, F ) if and only if θ ∗ (¯ a, b, c ¯ ¯) is satisfied in F . Hence, there are µ and d such that there are µ F | | d tuples ¯ b ∈ F r satisfying θ ∗ (¯ a, b, c ¯ ¯), as in [14]. (Note that there are finitely many possible pairs ( d, µ ) depending definably on ¯-and thus ¯-and ¯.) It c u a follows that the number of realisations of our original formula ϕ x, u, a ( ¯ ¯) in this case is ( | V |-| F | m ) µ F | | d | F | r . This has the required form.

$$& \text{becomes $\varphi^{\longleftarrow}(x,y,\xi,\rho,\tau)$ of the form} \\ & \beta ( x, y _ { i _ { 1 } } ) = \rho _ { 1 } \wedge \dots \wedge \beta ( x, y _ { i _ { r } } ) = \rho _ { r } \wedge \bigwedge _ { i < j } \beta ( y _ { i }, y _ { j } ) = \tau _ { i j } \wedge \theta ( x, \bar { y }, \bar { \xi }, \bar { \rho }, \bar { \tau } ) \\ & \text{where $\theta$ is a formula in the 2-sorted vector space language for (V. F).}$$

Lastly, we consider formulas of the form ϕ ρ, y, ξ ( ¯ ¯ ), where ρ ranges through the field sort. As before, we may reduce to the case when ϕ ρ, y, ξ ( ¯ ¯ ) implies that the entries y , . . . , y 1 m of ¯ are linearly indepenv dent. This is handled as in the last paragraph but one, since, working over ¯ and using quantifier elimination in the v V -sort, we may identify 〈 y , . . . , y 1 m 〉 with F m q , and replace ϕ by an L rings -formula.

/square

It can be checked that the definability condition in the definition of m.a.c. holds in each step in the above argument, so holds for C bil qe , .

## 4. Multidimensional exact classes

In this section we focus on multidimensional exact classes. We give a range of examples, partial results, and conjectures. The examples suggest that there is a connection between being a m.e.c. and ultraproducts being one-based (in an appropriate sense).

4.1. Smooth approximation and m.e.c.s of homogeneous structures. We first recall the notion of smooth approximation introduced

by Lachlan and developed in [42] and [19]. We say that the countably infinite structure M is smoothly approximable if M is ω -categorical and M = ⋃ i ∈ ω M i is a union of a chain of finite substructures M 0 ≤ M 1 ≤ . . . ≤ M , where the M i are homogeneous substructures of M in the sense that two tuples of M i lie in the same orbit of Aut( M ) if and only if they lie in the same orbit of Aut( M ) { M i } , the subgroup of Aut( M ) stabilising M i setwise.

The following result follows rather directly from the definition of smooth approximation.

Proposition 4.1.1. [73, Proposition 3.2.1] Let M be a structure smoothly approximated by a chain ( M i ) i ∈ ω of finite substructures. Then there is R such that { M i : i &lt; ω } is an R -m.e.c..

Using further material from [19], Proposition 4.1.1 was extended by Wolf ([74], also [73, Theorem 4.6.4]) to Theorem 4.1.2 below. Note that the statement and proof in [73] contain an inaccuracy, as one needs to allow the expansion to L ′ . For example, let L have a single binary relation E , and let C be the collection of finite L -structures in which E is interpreted by an equivalence relation with at most two class sizes; then the number of orbits on quadruples is bounded, but the definability clause in the m.e.c. definition is not satisfied. Essentially, one needs to work in the language M D of [19, Definition 8.3.1] with dimension quantifiers expressing that one Lie geometry has smaller dimension than another (and with Witt index quantifiers), and this can be done in a finite extension L ′ of L as above. In Wolf's proof, the error occurs in the second use of [19, Proposition 4.4.3] in the penultimate paragraph of the proof of [73, Theorem 4.4.1]: [19, Proposition 4.4.3] requires that the models have 'true dimensions' relative to the skeletal language, and this is ensured by the expansion to M D . In the statement of [73, Theorem 4.4.1] one first expands the members of C L ( , d ) to M D before finding the finite partition. See the corresponding discussion in the proof of [19, Proposition 8.3.2].

Theorem 4.1.2. Let L be a finite first-order language, d a natural number, and C = C ( L, d ) the collection of all finite L -structures M with at most d 4-types (so Aut( M ) has at most d orbits on M 4 ). Then there is a finite language L ′ ⊇ L and for each M ∈ C an L ′ -expansion M ′ with the same automorphism group as M , such that C ′ := { M ′ : M ∈ C} is a polynomial m.e.c..

The polynomials here are essentially polynomials in the cardinalities of certain coordinatising Lie geometries (formally, in numbers of the form ( - √ q ) d E ( J ) , where E is a finite 'envelope' and J is a (finitedimensional approximation of a) Lie geometry of E of dimension d E ( J ) over a field F q , or in the case of a geometry that is a pure set, d E ( J ) is the cardinality of the set). The geometries arising belong to a 'standard system of geometries' in the sense of [19, Definition 2.5.6]. Wolf's

results say in particular that if M is smoothly approximated then the collection of all finite envelopes of M is a polynomial m.e.c., after extension of the language as above.

See also Lemma 5.2.2 and the preceding pages of [19].

Remark 4.1.3. In the last theorem the exponent 4 cannot be reduced to 3. For consider the collection of all finite Desarguesian projective planes, each viewed as a structure whose universe is the set of points, equipped with a ternary collinearity relation. By the VeblenYoung theorem, the Desarguesian plane over F q has automorphism group PΓL ( ) in its natural action on projective space, which has a 3 q bounded number of orbits on triples (and two orbits on triples of distinct elements). However, by a classical fact from projective geometry, the Desarguesian plane over F q uniformly defines the field F q , and so no infinite collection of such planes can be even a weak m.e.c., by Theorem 2.5.4(iii) in combination with Proposition 4.1.8 below.

The above results of Wolf, and those which follow, make the following conjecture very natural. A general proof might require revisiting Lachlan's work on finite homogeneous structures, but under weaker assumptions than full homogeneity. Below, a countable structure over a relational language is homogeneous if every isomorphism between finite substructures extends to an automorphism. Part of the motivation is that the conjecture leads to natural questions about families of finite structures with arbitrarily high levels of combinatorial regularity but no assumptions on the automorphism group (rather in the way that distance-regularity for graphs is a combinatorial generalisation of distance-transitivity); see Section 7.

## Conjecture 4.1.4.

- (i) Let M be a homogeneous structure over a finite relational language L . Then there is an m.e.c. with ultraproduct elementarily equivalent to M if and only if M is stable.
- (ii) Let M be an unstable homogeneous structure over a finite relational language. Then M is not elementarily equivalent to any structure interpretable in an ultraproduct of a m.e.c..

The right-to-left direction of Conjecture 4.1.4(i) is true:

Proposition 4.1.5. Let M be a stable homogeneous structure over a finite relational language L . Then there is an m.e.c. C with an infinite ultraproduct which is elementarily equivalent to M .

Proof. It is well-known that any stable structure which is homogeneous over a finite relational language is ω -stable - for example, definability of types and quantifier-elimination yield that there are countably many types over any countable model. Hence M is smoothly approximable by [16, Corollary 7.4]. It follows that there is an m.e.c. of envelopes

of M , by the results of Wolf (essentially Proposition 4.1.1). We may take this m.e.c. to consist of the members of a smoothly approximating sequence of homogeneous substructures M i of M , and every sentence in Th( M ) holds in cofinitely many of the M i . Hence any non-principal ultraproduct of C is elementarily equivalent to M , and the result follows. /square

For the other direction of Conjecture 4.1.4(i), we have the limited evidence in the following result. Let I n (for n ≥ 3) denote the digraph consisting of n vertices with no arcs between them. The classification of homogeneous digraphs by Cherlin [18] includes for each n ≥ 3 the universal homogeneous I n -free digraph Q n . The 'generic bipartite graph' is a homogeneous structure in a language with two relations, an equivalence relation E for the bipartition, and a symmetric irreflexive graph relation R which only holds between E -inequivalent pairs; it is the unique countably infinite such structure such that for any two finite disjoint subsets A, B of one part of the bipartition, there is a vertex in the other part adjacent to all vertices of A and to no vertices of B .

Theorem 4.1.6. Let M be any of the following homogeneous structures. Then there is no m.e.c. with an ultraproduct elementarily equivalent to M .

- (i) Any homogeneous structure whose theory has the strict order property.
- (ii) Any unstable homogeneous graph.
- (iii) Any homogeneous tournament.
- (iv) The digraph Q n for each n ≥ 3 .
- (v) The generic bipartite graph, with the two parts named by unary predicates.

Proof. (i) This follows immediately from Remark 5.3.7.

(ii) If M is an unstable homogeneous graph, then by the LachlanWoodrow classification [52] M is the random graph H , the universal homogeneous K n -free graph H n for some n ≥ 3, or the complement of H n . We shall suppose that M is the random graph, as the same argument eliminates the other cases. Let T = Th( M ), and suppose that C is a m.e.c. with an ultraproduct N | = T . After thinning out C we may suppose that all non-principal ultraproducts of C are elementarily equivalent - that is, each element of T holds of cofinitely many P ∈ C .

$$P \models \psi _ { h } ( \bar { a } ) & \Longrightarrow | \varphi ( P, \bar { a } ) | = h ( P ). \\ \dots \dots \dots \dots \dots \dots \dots \dots$$

For any formula ϕ x, y ( ¯) there is a finite set E of functions h : C → R and some formula ψ h (¯) for each y h ∈ E , such that for any P ∈ C and h ∈ E , if ¯ a ∈ P | ¯ y | then

Since T has quantifier-elimination, there is a quantifier-free formula χ h (¯) and y σ ∈ T such that σ | = ∀ ¯( y ψ h (¯) y ↔ χ h (¯)). y As σ holds on cofinitely many members of C , provided we work in sufficiently large 36

P | = T , we may assume that ψ h (¯) y is quantifier-free. Taking ¯ = y ( y , . . . , y 1 5 ) and ϕ x, y ( ¯) to say that x is adjacent to each y i , it follows that any sufficiently large P ∈ C is 5-regular : For any A ⊂ P of size at most 5, the number of common neighbours of A depends only on the isomorphism type of A .

By the note added in proof at the end of [11], any finite 5-regular graph occurs in the list in [11, Theorem 3.2]: the pentagon, the line graph of K 3 3 , , a disjoint union of complete graphs all of the same size, or the complement of the latter. (We remark that these are exactly the finite homogeneous graphs, so include the finite graphs smoothly approximating the stable homogeneous graphs). However, if P is chosen sufficiently large, then P will satisfy appropriate extension axioms true of the random graph but not satisfied by these, a contradiction.

(iii) By [51], there are three infinite homogeneous tournaments, namely a dense total order, the 'local order', and the random tournament. The first two have the strict order property, so by (i) cannot be elementarily equivalent to an ultraproduct of an m.e.c.. So let M be the random tournament, and suppose for a contradiction that M is elementarily equivalent to an ultraproduct of the m.e.c C of finite tournaments.

A finite tournament D is said to be regular if any two vertices have the same out-degree. By counting in two ways the set S := { ( x, y ) : x → } y , we see that if D is a finite regular tournament then its indegree equals its out-degree, so D has an odd number of vertices.

Arguing as in (i), if D ∈ C is sufficiently large then the out-degree of a vertex depends just on the isomorphism type of the vertex, so D is regular so has odd size. Fix distinct vertices a, b ∈ D with a → b . Define the sets E 1 := { x ∈ D : a → x ∧ b → } x , E 2 := { x : a → x ∧ x → } b , E 3 := { x : b → ∧ x x → } a and E 4 := { x : x → ∧ a x → } b . Arguing as above, provided D is sufficiently large each of E , E , E , E 1 2 3 4 is non-empty and regular, so has odd size. Since the vertex set of D is E 1 ∪ E 2 ∪ E 3 ∪ E 4 ∪ { a, b } , D has an even number of vertices, a contradiction.

(iv) For any digraph D let D || ( x ) be the set of vertices y distinct from x and non-adjacent to x . Observe that for each vertex x of Q n , if n &gt; 3 we have Q || n ( x ) = ∼ Q n -1 , and Q || 3 ( x ) is isomorphic to the generic tournament. Now if C is an m.e.c with ultraproduct elementarily equivalent to Q n , then the set of digraphs

$$\{ D ^ { | | } ( x ) \, \colon D \in \mathcal { C }, x \text{ a vertex of } D \}$$

is a m.e.c. with ultraproduct elementarily equivalent to Q || n ( y ) = ∼ Q n -1 for y a vertex of Q n . The result now follows by (iii) and induction.

(v) Let B be the random bipartite graph, and let C be a m.e.c. of finite graphs with an ultraproduct elementarily equivalent to B ; we work in a language with a binary relation symbol for adjacency and two unary predicates giving a bipartition in B and in members of C . 37

Then C can be thinned out so that, in the language of [34], its members are 3-tuple regular : If Γ ∈ C and S and S ′ are sets of size at most 3 of vertices of Γ that induce isomorphic vertex-coloured subgraphs, then the number of vertices of Γ which are adjacent to every vertex of S is equal to the number adjacent to all vertices of S ′ . It follows from [34, Lemma 4.8] that either there is a matching between the two parts, or there are no edges between the parts, or the bipartite complement of one of these situations occurs. In particular, such graphs cannot have ultraproduct elementarily equivalent to B . /square

Remark 4.1.7. 1. The above result makes essential use of the definability clause in the definition of a m.e.c.. Also, the argument in (iii) and (iv) makes use of a parity argument which appears to be unavailable for the universal homogeneous digraph, and for the families of digraphs determined by a collection of forbidden finite tournaments. These observations suggest Question 7.0.5 from the final section. Since many random homogeneous structures are interpretable in pseudofinite fields, the following observation is relevant.

- 2. A small adjustment of the proof of (iii) shows that if D is a finite tournament which is 3-regular in the sense that the number of realisations of a quantifier-free 1-type over a tuple ¯ of length at most a 3 depends just on the quantifier-free type of ¯, then a D is a single vertex or a directed 3-cycle.

Proposition 4.1.8. There is no weak m.e.c. consisting of finite fields.

Proof. See the proposition on p.44 of [67]. It is noted that given a prime power q , for every m with ( m,q ) = 1 and | m | ≤ 2 √ q , there is an elliptic curve E over F q with isogeny class corresponding to m , and with q +1 -m rational points in F q . In particular, the number of distinct possible sizes of the number of rational points of an elliptic curve over F q increases with q . Since elliptic curves are uniformly definable, the result follows. /square

- 4.2. M.e.c.s of groups. We first show that there is a strong structural restriction on m.e.c.s of groups. If G is a finite group, let R G ( ) denote the soluble radical of G (the largest soluble normal subgroup of G ) and F G ( ) the Fitting subgroup of G (the largest nilpotent normal subgroup of G - so F G ( ) ≤ R G ( )).

Proposition 4.2.1. Let C be a m.e.c. of finite groups. Then:

- (i) There is d ∈ N such that each G ∈ C has a uniformly ∅ -definable soluble normal subgroup of index at most d .
- (ii) There is e ∈ N such that for each G ∈ C , the quotient R G /F G ( ) ( ) has derived length at most e .

Proof. (i) By a theorem of Wilson [71], there is a formula ψ x ( ) which defines the soluble radical R G ( ) in each finite group G . Our purpose

is to show that | G : R G ( ) | is bounded. For convenience of notation, we assume R G ( ) = 1 for each G ∈ C , though the argument could be given directly in G .

We argue as in the proof of Theorem 4.15 (Claim 1) in [56]. For G ∈ C , let S = S G ( ) be the socle of G , the direct product of the minimal normal subgroups of G . Then S = S 1 × . . . × S t , where the S i are non-abelian simple groups. By Theorem 1.5 of [54] (together with the Feit-Thompson theorem), there is a constant c such that each finite non-abelian simple group H has an involution h such that each element of H is a product of exactly c conjugates of h . It follows that S is parameter-definable in G , uniformly as G ranges over C . Indeed, if h i is such an involution chosen in S i , then S is exactly the set of products of c conjugates (by elements of G ) of ( h , . . . , h 1 t ). Furthermore, each S i is itself uniformly definable, as the set of products of c conjugates (by elements of the definable group S ) of h i .

The number t is bounded as G ranges through C . Indeed, there is a definable partial order on S , where g 1 &lt; g 2 if and only if C S ( g 1 ) &lt; C S ( g 2 ). It is easily seen that with the h i as above,

$$C _ { S } ( ( h _ { 1 }, 1, \dots, 1 ) ) > C _ { S } ( ( h _ { 1 }, h _ { 2 }, 1, \dots, 1 ) ) > C _ { S } ( ( h _ { 1 }, h _ { 2 }, h _ { 3 }, 1, \dots, 1 ) > \dots,$$

so if t is unbounded then C has an ultraproduct with the strict order property, contrary to Remark 5.3.7.

We shall view the alternating group Alt n as having Lie rank n . There is a uniform bound on the Lie rank of S as G ranges through C . This can be seen in many ways, and we do not give full details. For example, consider finite alternating groups. For each n , there is an element g ∈ Alt n which consists of a single cycle of length n or n -1 (according to parity) and at most one fixed point, and it can be seen that C Alt n ( g ) &lt; C Alt n ( g 2 ) &lt; . . . , so any infinite collection of distinct alternating groups has an ultraproduct with the strict order property, again contradicting Remark 5.3.7. In the case of PSL n ( q ), we may replace this g by the image in PSL ( ) of an element of SL n q n ( q ) with a single large cycle on a basis.

Thus, each S i is of bounded size or is a simple group of Lie type G ( F q ) of bounded Lie rank (bounded as G ranges through C ). By results of Ryten (Theorems 5.2.4 and 5.3.3 and Proposition 5.4.6 of [65]), the finite field F q is uniformly parameter-interpretable in G ( F q ). By Proposition 4.1.8, an infinite collection of distinct finite fields cannot form a weak m.e.c.. It follows by Theorem 2.5.4(i) that the S i have bounded size, so | S | is bounded as G ranges through C .

Finally, for G ∈ C , G acts on S by conjugation, and since R G ( ) = 1, the kernel of the action is trivial; that is, C G ( S ) = 1. It follows that | G | ≤ | Aut( S ) , | so | G | is bounded, as required. 39

- (ii) Following [12, Definition 3] we define crk( G ) to be the conjugacy rank of G ; that is, the number of distinct sizes greater than 1 of conjugacy classes of G . Clearly in a m.e.c. of groups there is a uniform bound on crk( G ) for G ∈ C . The result now follows immediately from [43, Theorem A]. /square

We conjecture that in the last proposition 'soluble' can be replaced by 'nilpotent of bounded class'. Note that by [43, Theorem A], there is a bound on the Fitting height of R G ( ) for G ∈ C .

Remark 4.2.2. In fact Proposition 4.2.1 only requires that C be a weak m.e.c. of finite groups. The only point in the above proof that needs attention is the use of Theorem 2.5.4(i) near the end of the proof of (i). However, Ryten in fact shows that given any family of finite simple groups of fixed Lie type, the corresponding finite fields are uniformly definable (in 1-space). The result then follows from Theorem 2.5.4(iii) and Proposition 4.1.8 - note that in our proof above, the move to the quotient modulo R G ( ) was unnecessary.

For the theorem below, given a ring R let L R = (+ , -, 0 ( , f r ) r ∈ R ) be the usual language for left R -modules, and T R be the theory of left R -modules. A positive-primitive (p.p.) formula is one of the form ∃ ¯ w ∧ k i =1 ψ i (¯ x, w ¯), where the ψ i are atomic. If M is an R -module and ϕ x, y (¯ ¯) is a p.p. formula without parameters, then ϕ x, (¯ 0) ¯ defines a subgroup of M n where | ¯ x | = n , and any formula ϕ x, a (¯ ¯) defines a coset of it; such a subgroup is called a p.p. definable subgroup . Given p.p. formulas ϕ 1 ( x ) and ϕ 2 ( x ), defining subgroups G 1 and G 2 respectively of M , an invariant sentence is one expressing, for some t ∈ N , that | G 1 : G 1 ∩ G 2 | ≤ t . The Baur quantifier-elimination theorem for modules asserts that given any L R -formula ϕ x (¯) there is an L R -formula ψ x (¯) that is a boolean combination of p.p. formulas and invariant sentences such that T R | = ∀ ¯( x ϕ x (¯) ↔ ψ x (¯)).

We thank Charlotte Kestner for a useful discussion leading to the next proof.

## Theorem 4.2.3.

- (i) Let R be a ring and C be the set of all finite R -modules, in the language of R -modules. Then C is a m.e.c..
- (ii) The collection of all finite abelian groups is a m.e.c..

Proof. (i) The argument is analogous to those in [45]. As usual, by Theorem 2.4.1, to prove the theorem it suffices to consider formulas ϕ x, y ( ¯) where x is a singleton. As noted, such a formula is equivalent in all R -modules to a fixed boolean combination of p.p. formulas and invariant sentences. In a particular model, the invariant sentences are either true or false, and there are finitely many possibilities for the truth values of the sentences, so we may suppose there are no sentences

involved. Hence, since a conjunction of p.p. formulas is a p.p. formula, given any formula ϕ x, y ( ¯) we may suppose that it has the form

$$\bigvee _ { i = 1 } ^ { t } \left ( \psi _ { i } ( x, \bar { y } ) \wedge \left ( \bigwedge _ { j = 1 } ^ { r _ { i } } \neg \psi _ { i j } ( x, \bar { y } ) \right ) \right ) \\ \text{nd} \, \psi _ { i j } \, & \, \text{are} \, p. p. \, \text{We may suppose that the d}$$

$$\psi ( x, \bar { y } ) \wedge ( \bigwedge _ { j = 1 } ^ { r } \neg \psi _ { j } ( x, \bar { y } ) ) \\ ^ { \prime } _ { j } \text{ are p.p.}$$

where the ψ i and ψ ij are p.p. We may suppose that the disjuncts define disjoint sets, so the size of any set defined by ϕ x, a ( ¯) is the sum of the sizes of the disjuncts, and hence that there is only one disjunct; that is, ϕ has the form where ψ and the ψ j are p.p.

Observe first that in a given module M , all sets of the form ψ M,a ( ¯) have the same size, since they are all cosets of the group defined by ψ x, ( ¯ ). 0 Furthermore, any conjunction of the form ψ j 1 ( M,a ¯) ∧ · · · ∧ ψ j t ( M,a ¯) is either empty or a coset of the p.p.-definable group ψ j 1 ( M, ¯ ) 0 ∧··· ∧ ψ j t ( M, ¯ ), 0 so such sets assume at most two sizes (and there is a formula in ¯ that y determines which size arises uniformly across all R -modules M ). Thus, by inclusion-exclusion, the conditions for a m.e.c. hold for formulas of the form ∧ r j =1 ¬ ψ j ( x, y ¯), and likewise for formulas

The result follows (the definability clause for a m.e.c. is easily verified). (ii) This is immediate from (i). /square

$$\psi ( x, \bar { y } ) \wedge ( \bigwedge _ { j = 1 } ^ { r } \neg \psi _ { j } ( x, \bar { y } ) ). \\ ( \text{the definability clause for a m.e.c.}$$

Regarding our question above whether any m.e.c. of groups consists of nilpotent-by-bounded groups, we consider next extraspecial p -groups, noting that these furnish examples of m.e.c.s of nilpotent class 2 groups, and that these classes are not abelian-by-bounded.

Let p be an odd prime. An extraspecial p -group of exponent p is a group G of exponent p such that G ′ = Z G ( ) = Φ( G ) = ∼ C p , and x p = 1 for all x ∈ G ; here Φ( G ) denotes the Frattini subgroup of G (the intersection of the maximal subgroups of G ). Such an extraspecial group, if finite, has order p 2 n +1 for some n , is determined up to isomorphism by the pair ( p, n ), and is a central product of copies of a certain specific group of order p 3 . It is noted in [57, Proposition 3.11] that for fixed p the class of extraspecial p -groups of exponent p forms a 1-dimensional asymptotic class which smoothly approximates a countably infinite extraspecial p -group which was shown to be ω -categorical by Felgner in [27]. In particular, any countably infinite extraspecial p -group of exponent p is ω -categorical, smoothly approximated, and has SU-rank 1. For more on the model theory of extraspecial groups see Milliet [60, Appendix A].

Let G p,n denote the unique extraspecial p -group of order p 2 n +1 (and exponent p ). Put

$$\mathcal { C } _ { \text{ext} } \coloneqq \{ G _ { p, n } \colon p \text{ an odd prime,} \, n \in \mathbb { N } ^ { > 0 } \}.$$

Also let c be a contant symbol not in the language L of groups, let L ′ = L ∪ { } c , and let C ′ ext contain, for each G ∈ C ext , an L ′ -expansion of G with c interpreted by a non-identity element of Z G ( ). Let L bil be a 2-sorted language with a sort K carrying the language of rings, a sort V carrying the language of (additive) groups (for a vector space structure), a map K × V → V for scalar multiplication, and a binary function symbol β : V × V → K . Let B be the collection of 2-sorted finite L bil -structures ( V, F p ) with β interpreted by a symplectic form on V .

Lemma 4.2.4. The classes C ′ ext and B are uniformly bi-interpretable.

Proof. To interpret C ′ ext in B , following Lemma A.6 of [60], for each ( V, F p ) ∈ B , define a group G with domain V × ( F p , +), with group operation

$$( u, a ) * ( v, b ) & = ( u + v, a + b + \beta ( u, v ) ). \\. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &.. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &.$$

Interpret the constant symbol c by the element (0 1). , Then G is extraspecial, and all members of C ext arise in this way.

We now show that the field structure on Z G ( ) is uniformly definable over the parameter c naming a generator for Z G ( ). Indeed, we may identify such a parameter with the element 1 of F p . Then, using that we know uniformly the 1-spaces of V = G/Z G ( ), for x ∈ G \ Z G ( ) and non-identity a ∈ Z G ( ) we can identify ax with the unique x ′ in the 1-space 〈 x 〉 such that [ x , y ′ ] = a whenever [ x, y ] = . We may then c identify the product ab (for a, b ∈ Z G ( )) with the unique d such that [ ax, by ] = d x, y [ ] for any x, y ∈ G \ Z G ( ).

For the other direction, let G = G p,n be finite extraspecial of exponent p , and ( G,c ) ∈ C ′ ext be an expansion. Then V = G/Z G ( ) is an elementary abelian p -group, so can be viewed as a vector space over F p . There is an equivalence relation E definable on V \ { 0 } , where uEu ′ ⇐⇒ C G ( uZ G ( )) = C G ( u Z G ′ ( )). (Here C G ( uZ G ( )) just means the subgroup of G commuting with all elements of the set uZ G ( ).) It can be checked that uEu ′ holds if and only if the 1-spaces 〈 u 〉 and 〈 u ′ 〉 are equal, so we recover the domain of the projective space on V as ( V \ { 0 } ) /E .

It can be checked that these mutual interpretations in fact give a bi-interpretation. /square

Corollary 4.2.5. Suppose U is an ultrafilter on C ext such that for all e ∈ N , { G p,n : p &gt; e } ∈ U . Then an infinite field is definable in the ultraproduct H = ∏ C ext G p,n / U . 42

Proof. This follows immediately from the uniform interpretation of B in C ′ ext and its proof - note that the field lives on the centre of the extraspecial group. /square

## Corollary 4.2.6.

- (i) For any odd prime p the set C ext ,p := { G p,n ∈ C ext : n ∈ N } is a m.e.c..
- (ii) Any subset C 0 of C ext which contains groups G p,n for arbitrarily large odd primes p is a m.a.c. but not a weak m.e.c..

Proof. (i) It is noted in the proof of [57, Proposition 3.11] that the class C ext ,p is a sequence smoothly approximating a countably infinite extraspecial p -group. The result now follows from Proposition 4.1.1.

(ii) The automorphism group of G p,n acts transitively on the nonidentity elements of Z G ( ) - see e.g. [72, Theorem 1]. The fact that C 0 is a m.a.c. now follows from the bi-interpretability in Lemma 4.2.4 together with Theorem 3.3.3 and Theorem 2.5.4, along with Lemma 2.1.5(iii). That C 0 is not a weak m.e.c. is a consequence of Corollary 4.2.5 in combination with Theorem 2.5.4(iii) and Proposition 4.1.8. /square

Lemma 4.2.7. Let U be an ultrafilter on C ext . Then the ultraproduct G := ∏ C ext G p,n / U has NSOP 1 theory, and has simple theory if and only if there is some e ∈ N such that { G p,n : p &gt; e ∧ n &gt; e } /negationslash∈ U .

Proof. By a result of Kestner and Ramsey (personal communication [63]), any ultraproduct ( V, K ) of members of B has NSOP 1 theory, so G has NSOP 1 theory by Lemma 4.2.4. If the underlying vector space V has finite dimension then G is interpretable in a pseudofinite field so has simple (in fact supersimple finite rank) theory. Likewise, if V is infinite dimensional and K is finite, then ( V, K ) (equipped with β ) is a smoothly approximable Lie geometry and supersimple of rank 1.

On the other hand, suppose that K is infinite and V is infinite dimensional; this corresponds to the case when for each e we have { G p,n : p &gt; e ∧ n &gt; e } ∈ U . Then the formula ϕ x, yz ( ) (with x, y ranging through the vector space sort and z through the field sort) which says [ x, y ] = z has the tree property. Indeed, let { f i : i &lt; ω } be a linearly independent subset of V with β f , f ( i j ) = 0 K for all i, j ∈ ω , and { a i : i ∈ ω } be an infinite subset of K . If µ ∈ ω &lt;ω has length n , let b µi = ( f , a n i ) so ϕ x, b ( µi ) asserts β x, f ( n ) = a i . Then for any η ∈ ω ω the set { ϕ x, b ( η i | ) : i ∈ ω } is consistent, but for any µ ∈ ω &lt;ω , the set { ϕ x, b ( µi ) : i ∈ ω } is 2-inconsistent. This shows that such ( V, K ) is not simple. For the corresponding extraspecial groups, the formula ψ x, yz ( ) which says x -1 y -1 xy = z has the tree property for essentially the same reasons. /square

Weconclude this subsection by examining a particular case of Theorem 4.2.3, namely the class C hom of all finite homocyclic groups; that is, groups 43

( Z /p n Z ) m as p ranges through primes and n, m through positive integers. For this class, the precise functions giving cardinalities of definable sets were calculated in [30]. For nonnegative integers d, k , let S d, k ( ) be the set of functions of the form P X,u,v ( ) = ∑ k i =0 ∑ kd j = -kd c ij X u iv ( + ) j , where c ij ∈ Z for all 0 ≤ i ≤ k and -kd ≤ j ≤ kd . By Szmielew's Theorem (see [36, Theorem A.2.2]), modulo the theory of abelian groups, every formula ϕ x, y (¯ ¯) is equivalent to a Boolean combination of formulas of the form t (¯ x, y ¯) = 0 or p l | t (¯ x, y ¯), where t is a term in the language of groups and p is prime. We say that such a Boolean combination is in standard form .

Proposition 4.2.8 (Proposition 4.4 of [30]) . Let ϕ x, y (¯ ¯) be a formula in the language of groups in standard form. Let d be the greatest integer l such that for some prime p , either some subformula p l | t (¯ x, y ¯) occurs in ϕ or some term t (¯ x, y ¯) occurring in ϕ has a coefficient divisible by p l . Then

- (i) There is a finite subset F = F ϕ ( ) of S d, r ( ) (where r = | ¯ x | ) such that for each G = ( Z /p n Z ) m ∈ C and ¯ a ∈ G s , there is P X,u,v ( ) = ∑ k i =0 ∑ kd j = -kd c ij X u iv ( + ) j ∈ F with c ij = 0 whenever in + j &lt; 0 , such that | ϕ G , a ( r ¯) | = P p, m, n ( ) .
- (ii) For each such function P ∈ F there is a formula ϕ P such that for each G = ( Z /p n Z ) m ∈ C and ¯ a ∈ G s we have G | = ϕ P (¯) a if and only if | ϕ G , a ( r ¯) | = P p, m, n ( ) .

For the class C hom it is interesting to consider the model theory of different ultraproducts. Let U be an ultrafilter on the set J := { ( p, n, m ) : p prime , n, m ∈ N &gt; 0 } . We say that p, n are unbounded on the ultrafilter U if for all d ∈ N there is U d ∈ U such that if ( p, n, m ) ∈ U d then p, n &gt; d ; similarly for other subsets of the three coordinates. Note that if p is unbounded and n is unbounded then p, n are (together) unbounded. A variable is bounded if it is not unbounded.

Proposition 4.2.9. Let U be a non-principal ultrafilter on J and G U := ∏ C hom / U .

- (i) If p, n are bounded on U but m is unbounded, then G U has ω -categorical, ω -stable and smoothly approximable theory.
- (ii) If p is bounded but n, m are unbounded on U then G U is stable unsuperstable.
- (iii) If p, m are bounded but n unbounded on U then G U is superstable but not ω -stable.
- (iv) If p is unbounded but n, m are bounded on U then G U is ω -stable. (v) If p, m are unbounded but n is bounded then G U is ω -stable.

We omit the proof, which is elementary.

- 4.3. Other examples of m.e.c.s. We thank Dario Garc´ ıa for drawing our attention to the following example.

Theorem 4.3.1. Let M be a pseudofinite strongly minimal set. Then there is a m.e.c. whose ultraproducts are all elementarily equivalent to M . Furthermore, for each formula ϕ x, y (¯ ¯) the functions h ϕ (¯) y in the definition of m.e.c. are polynomials over Z in the cardinality of the finite structure, whose degree is exactly the Morley rank of the corresponding set in the ultraproduct.

Proof. This is immediate from [62, Theorem 1.1], though the latter is formulated in terms of non-standard cardinalities. /square

The following result of van Abel builds on Theorem 4.3.1, exploiting the way any uncountably categorical structure is controlled by a strongly minimal set. Note that a version of this for totally categorical structures is already implied by Proposition 4.1.1 and Theorem 4.1.2 above (using the fact that totally categorical structures are smoothly approximated, by [16, Corollary 7.4]).

Theorem 4.3.2 (Proposition 5.5 of van Abel [1]) . Let T be a pseudofinite uncountably categorical theory and let C be a class of finite structures all of whose non-principal ultraproducts satisfies T . Then C is a polynomial m.e.c..

Proof. The term 'polynomial m.e.c.' is not used in [1], so some elucidation is needed. The essential point is that, working in models of T , if θ x, d ( ¯ ) defines a strongly minimal set for every ¯ realising the isolated d type q y (¯), then in members of C the formula θ x, y ( ¯) is exactly balanced in the sense of Definition 2.2.2. This holds essentially by [1, Corollary 5.8]. /square

Fix a finite relational language L . If d is a positive integer, M is an L -structure and a ∈ M , we say that a has degree d if there are d pairs ( R, a ¯) where ¯ is a tuple of a M containing a , R is a relation symbol of L , and M | = Ra ¯. We say that the L -structure M has degree at most d if all elements of M have degree at most d . Let C gaif d be the collection of finite L -structures of degree at most d .

Theorem 4.3.3. The class C gaif d is a m.e.c..

Proof. We only sketch the proof. The basic idea is to use the Gaifman Locality Theorem from [29], which we briefly describe. See also [23, Section 2.5].

We first introduce some standard notation. The Gaifman graph G M ( ) of M is the simple graph with vertex set M , with two vertices adjacent if and only if there is a tuple containing both of them and satisfying a relation (so the degree of an element of M is bounded in terms of its degree as a vertex of G M ( )). If a, b ∈ M , then the distance d a, b ( ) is the length of a shortest path in M with endpoints a, b . For each a ∈ M and e ∈ N , define the sphere of radius e around a to be

There is a finite set ψ d e, 1 ( x , . . . , ψ ) d e,n e ( x ) of quantifier-free L -formulas such that if M is an L -structure of degree at most d , and a ∈ M , then for some i the sentence ψ d e,i ( a ) describes the atomic diagram of the L a ( )-structure ( S e ( a , a ) ).

$$M \models \varphi ^ { S _ { k } } ( \bar { a } ) \text{ if and only if } S _ { k } ( \bar { a } ) \models \varphi ( \bar { a } ). \\ \xi _ { k } / - \cdot \xi _ { k } \cdot \xi _ { k } \cdot \xi _ { k } \cdot \xi _ { k }.$$

If M is an L -structure, ¯ a = ( a , . . . , a 1 n ) ∈ M n and k ∈ N , let S k (¯) := a S k ( a 1 ) ∪ . . . ∪ S k ( a n ). For each L -formula ϕ x (¯) and k ∈ N , there is a formula ϕ S k (¯), x called a local formula , such that for each L -structure M and ¯ a ∈ M n ,

The formula ϕ S k (¯) is obtained from x ϕ x (¯) by relativising all quantifiers to S k (¯). x A basic local sentence has the form

Gaifman's Locality Theorem asserts that every first order L -sentence is logically equivalent to a boolean combination of basic local sentences, and that every formula ϕ x (¯) is logically equivalent to a boolean combination of local formulas and basic local sentences. As with the proof of Theorem 4.2.3, the proof now reduces to handling formulas ϕ x, y ( ¯) which are conjunctions of local formulas.

$$0 \, \mathfrak { G } _ { k } ( x ). \ A \text{ a s u c o u s e n e c e n a s e t e r in } \\ \exists x _ { 1 } \cdots \exists x _ { m } \quad \bigwedge _ { 1 \leq i < j \leq m } d ( x _ { i }, x _ { j } ) > 2 r \wedge \varphi ^ { S _ { r } } ( x _ { i } ). \\ \tan ^ { \prime } s \text{ Locality} \text{ Theorem asserts that every first order } I \sim \text{sente}$$

We may suppose that such a formula ϕ x, y ( ¯) has the form σ x ( ) ∧ τ ( x, y ¯), where σ x ( ) is a local formula (so a partial description of a radius r neighbourhood of x ) and for τ ( x, y ¯) there is e ∈ N such that for any M ∈ C d and ¯ a ∈ M | ¯ y | , either | τ ( M,a ¯) | ≤ e or | M τ M,a \ ( ¯) | ≤ e . Clearly at most e sizes of sets ϕ M,a ( ¯) arise from ¯ such that a | τ ( M,a ¯) | ≤ e . Likewise, at most e sizes of ϕ M,a ( ¯) arise from ¯ with a | M \ τ ( M,a ¯) | ≤ e . This gives the bound on the number of possible sizes, and the definability clause follows similarly. /square

## 5. Generalised measurable structures

In this and the next section we shift our focus to infinite structures, in particular to ultraproducts of m.a.c.s and m.e.c.s.

In [57] the notion of a measurable structure was introduced. A structure M is measurable 2 if there is a function h = (dim meas): Def( , M ) → ( N × R &gt; 0 ) ∪{ (0 , 0) } such that the following hold:

- (ii) For every formula ϕ x y (¯; ¯) there is a finite set D ϕ ⊆ ( N × R &gt; 0 ) ∪ { (0 , 0) } such that
- (i) If X ∈ Def( M ) is finite then h X ( ) = (0 , | X | ).
- (a) for all ¯ b ∈ M | ¯ y | , h ϕ M ( ( | ¯ x | ; ¯ )) b ∈ D ϕ , and

2 Some authors have renamed this MS-measurable to avoid conflict with other definitions of measurability. The definitions in [57] and [24] have an additional clause built in to ensure supersimplicity, but it is shown in [25] that this clause is unnecessary.

- (b) for all ( d, µ ) ∈ D ϕ , the set { ¯ b ∈ M | ¯ y | : h ϕ M ( ( | ¯ x | ; ¯ )) = ( b d, µ ) } is ∅ -definable.
- (iii) Let X,Y ∈ Def( M ) and let f : X → Y be a definable surjection. As guaranteed by (ii), there is a positive integer r and ( d , µ 1 1 ) , . . . , ( d , µ r r ) ∈ ( N × R &gt; 0 ) ∪{ (0 , 0) } such that if Y i := { ¯ b ∈ M | ¯ y | : h f ( -1 ( ¯ )) b = ( d , µ i i ) } , then Y = Y 1 ∪ ... ∪ Y r is a partition of Y into non-empty disjoint ∅ -definable sets. Let h Y ( i ) = ( e , ν i i ) for i = 1 , ..., r , and let c := max { d 1 + e , ..., d 1 r + e r } , where we suppose that this maximum is attained by the values d 1 + e , ..., d 1 s + e s . Then h X ( ) = ( c, µ 1 ν 1 + ... + µ ν s s ).

The intuition is that 'meas' is a measure and 'dim' is a dimension, so the function h combines measure and dimension into one. As noted in the introduction, any infinite ultraproduct of an asymptotic class is measurable by [57, Lemma 5.4].

In this section we extend this idea by allowing functions h that can take values in more general algebraic structures; however we keep the intuition that h combines measure and dimension into one.

- 5.1. Measuring semirings. The definition of 'measurable', above, makes implicit use of a natural algebraic structure on the codomain ( N × R &gt; 0 ) ∪{ (0 , 0) } of the measuring function.

Example 5.1.1. We note that ( N × R &gt; 0 ) ∪ { (0 , 0) } admits natural addition and multiplication, as well as a compatible ordering. The multiplication and ordering are clear: There is an associative multiplication ( d , µ 1 1 ) · ( d , µ 2 2 ) = ( d 1 + d , µ 2 1 µ 2 ), with identity (0 , 1), and there is a total ordering given by the lexicographic product of the usual orders on N and R &gt; 0 , with (0 0) the smallest element. , Addition is a little less obvious:

This defines an associative addition for which (0 , 0) is the identity element and over which the multiplication distributes. Moreover, both addition and multiplication are compatible with the ordering in the usual sense. Writing each pair ( d, µ ) as µZ d , where Z is a new indeterminate, we may identify ( N × R &gt; 0 ) ∪ { (0 , 0) } with the real monomial semiring R 〈 Z 〉 which is the set { µZ d | µ ∈ R &gt; 0 , d ∈ N } ∪ { 0 Z 0 } equipped with 'max-plus' addition, standard multiplication, and the total ordering give by

$$\dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \\ s \text{ obvious:} \\ ( d, r ) + ( e, s ) = \begin{cases} \begin{array} { c c c } ( d, r + s ) & \text{if $d=e$} \\ ( d, r ) & \text{if $d>e$} \\ ( e, s ) & \text{if $d<e$}. \end{array} \end{cases} \\ \text{ines an associative addition for which (0, 0) is the id} \\ \text{nd over which the multiplication distributes. Moreo} \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \end{cases}$$

$$\mu _ { 1 } Z ^ { d _ { 1 } } < \mu _ { 2 } Z ^ { d _ { 2 } } \quad & \Longleftrightarrow \quad d _ { 1 } < d _ { 2 } \text{ or } d _ { 1 } = d _ { 2 } \text{ and } \mu _ { 1 } < \mu _ { 2 }. \\ \nu _ { 1 } \cdot \cdot \cdot \cdot \cdot \mathbb { m } \, \nu _ { 2 } \cdot \cdot \cdot \cdot \mathbb { m } \, \nu _ { 2 } \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \cdot$$

Note that N embeds into R 〈 Z 〉 via the identification of n with nZ 0 . This is an example of a more general class of 'monomial semirings' that will be defined in Example 5.1.13.

Following this example we give the next definition (there will be variants in the literature).

Definition 5.1.2. We say that S = ( S, + , · , 0 1 , , &lt; ) is an ordered semiring if:

(OS1) ( S, + 0) and ( , S, · , 1) are commutative monoids,

(OS3) ( S, &lt;, 0) is a totally ordered set with least element 0,

(OS2) · distributes over +,

(OS4) ∀ x, y, z ( x ≤ y → x + z ≤ y + ), z

(OS6) ∀ x (0 · x = x · 0 = 0), and

(OS5) ∀ x, y, z ( x ≤ y → x · z ≤ y · z ),

/negationslash

(OS7) ∀ ∀ x y ( (0 &lt; x ∧ 0 &lt; y ) → 0 &lt; xy ) . (OS8) 0 = 1.

For x ∈ S and n ∈ N &gt; 0 we write nx as an abbreviation for x + · · · + x ( n times). We say that a, b ∈ S are of equal magnitude , and write a ∼ b , if a ≤ b ≤ n a · or b ≤ a ≤ n b · for some n ∈ N &gt; 0 . Observe that ∼ is an equivalence relation and that ∼ -classes on S are convex. The quotient D := S/ ∼ admits an ordering, induced by &lt; , with respect to which the minimum element is the ∼ -class of 0, which is usually denoted -∞ . We will denote the quotient map by d : S → D, and for x ∈ S write [ x ] ∼ for d x ( ) ∈ D . We call d the S -dimension , or just dimension when there is no ambiguity, and remark that d is (weakly) monotone with respect to the orderings on S and D .

There are many familiar examples of ordered semirings. The real monomial semiring, as defined above, is an ordered semiring. Moreover, if R is any totally ordered ring, then the non-negative cone in R , which we denote by R ≥ 0 , is naturally an ordered semiring.

An arbitrary ordered semiring can be relatively wild. For example it is possible that x + x = x for some x &gt; 0. To see this, consider a totally ordered abelian group (Γ ∪ {∞} , + 0 , , ≤ ) with additional element ∞ satisfying ∞ + a = a + ∞ = ∞ for all a , as in valuation theory. Then (Γ ≥ ∪{∞} , min + , , ∞ , 0 , &gt; ) is an ordered semiring, where Γ ≥ 0 = { γ ∈ Γ | γ ≥ } 0 , and yet ∞ + ∞ = ∞ &gt; 0.

Our intention is to end up with an algebraic structure in which a 'generalised measure' may take its values. With this in mind, we wish to exclude some very wild behaviour while allowing enough freedom. Suppose that Y and Z are sets of equal 'high dimension', that X is a set of 'low dimension', and that X,Y,Z are pairwise disjoint. We wish to allow - but not impose - that the (generalised) measure of X ∪ Y is equal to the measure of Y . On the other hand, we want to forbid that the measure of X ∪ Z is equal to the measure of Y ∪ Z . These considerations motivate the following axiom.

Definition 5.1.3. An ordered semiring S with dimension d : S → D is a measuring semiring if:

$$( \text{MS} ) & \ \forall x, y, z \in S \left ( ( x < y \wedge d ( y ) = d ( z ) ) \to x + z < y + z \right ). \\ & \text{Later in Theorem 5.1.14 we will show that we can always work with}$$

Later in Theorem 5.1.14 we will show that we can always work with measuring semirings that abstractly have the monomial structure that will be introduced in Example 5.1.13.

This axiom (MS) is implied by additive cancellation (i.e. x + z = y + z = ⇒ x = y ). In fact it is strictly weaker than additive cancellation as demonstrated by the following example.

/negationslash

/negationslash

Example 5.1.4. The real monomial semiring R 〈 Z 〉 , defined in Example 5.1.1, is an ordered semiring, but is not cancellative as Z + Z 3 = Z 3 = Z 2 + Z 3 but Z = Z 2 . Nevertheless, R 〈 Z 〉 is a measuring semiring. To see this we note that d ( ∑ i ≤ m a Z i i ) = m if a m = 0. Then ∑ i ≤ m a Z i i &lt; ∑ j ≤ n b Z j j (where a m = 0 = b n ) implies that m &lt; n or ( m = n and a m &lt; b n ).

/negationslash

/negationslash

Lemma 5.1.5. Let S be a measuring semiring, x, y ∈ S , and n, m ∈ N \ { 0 } . Then:

- (ii) x ≤ y ⇐⇒ nx ≤ ny , and
- (i) x &lt; y ⇐⇒ nx &lt; ny ,
- (iii) if 0 &lt; x and 0 &lt; n &lt; m , then nx &lt; mx .

Proof. The direction ⇒ of (ii) is a straightforward induction using (OS4) . For ⇒ of ( ), i we suppose x &lt; y . Note that d y ( ) = d ny ( ) for all n &gt; 0. By (OS4) and (MS) , if nx &lt; ny for some n &gt; 0, then nx + x ≤ nx + y &lt; ny + , which gives ( y n +1) x &lt; ( n +1) , proving the y implication ⇒ of (i) by induction. The converse implications of both (i) and (ii) now follow. For (iii), by (MS) we have nx &lt; nx +( m -n x ) . /square

Proposition 5.1.6. Let S be a measuring semiring. Then

$$n \mapsto n \cdot 1 \\ \cdot \cdot$$

↦

is an embedding of ordered semirings

$$( \mathbb { N }, +, \cdot, 0, 1, < ) \to ( S, +, \cdot, 0, 1, < ). \\. \quad. \quad. \quad. \quad. \quad. \quad.$$

Proof. All that is required to prove is that the map is injective. First note that 0 &lt; 1 by (OS3) and (OS8) , and then (MS) yields 0 &lt; 1 &lt; 1 + 1 &lt; 1 + 1 + 1 &lt; . . . . /square

Let S = ( S, + , · , 0 1 , , &lt; ) be a measuring semiring. As noted above, ∼ is an equivalence relation with convex equivalence classes. Moreover, ∼ respects addition and multiplication:

$$x & \sim y \Longrightarrow x + z \sim y + z \\ x & \sim y \Longrightarrow x \cdot z \sim y \cdot z,$$

for all x, y, z ∈ S .

Lemma 5.1.7 ('Rough cancellation') . Let ( S, + , · , 0 1 , , &lt; ) be a measuring semiring and x, y, z ∈ S with 0 &lt; x . If x · y ∼ x · z , then y ∼ z .

/negationslash

Proof. We may assume y, z = 0. Indeed, if both are 0, then y ∼ z , while the assumptions 0 &lt; x and x y · ∼ x z · are incompatible with just one of y, z being 0. Now, for the contrapositive we suppose without loss that ny ≤ z for all n . Then n x ( · y ) ≤ x · z for all n . It cannot happen that n x ( · y ) = x · z for some n ; indeed, as 0 &lt; x · y (by (OS7) , since 0 &lt; x and 0 &lt; y ) we have 2 n x ( · y ) &gt; n x ( · y ) by Lemma 5.1.5(iii), so n x ( · y ) = x · z would imply 2 n x ( · y ) &gt; x · z , a contradiction. Thus n x ( · y ) &lt; x · z for all n , so x · y /notsimilar x · z . /square

The quotient D = S/ ∼ admits induced addition and multiplication. The induced addition is in fact max: If x ≤ y , then and so y ∼ x + . Thus the quotient has the form y

$$y \leq x + y \leq 2 y \\. \iota \iota \dots \iota \dots \iota \dots \iota \dots$$

$$D = ( D, \max, \oplus, - \infty, 0 _ { D }, < ), \\ \intertext { n + 1 - 1 + 1 } \sim \left ( \left ( \right ) \right ) \right ) \right )$$

where 0 D = [1] ∼ . Note that -∞⊕ [ x ] ∼ = -∞ and 0 D ⊕ [ x ] ∼ = [ x ] ∼ for all x ∈ S .

Lemma 5.1.8. (i) The operation ⊕ in D is cancellative. (ii) The monoid ( D, ⊕ , &lt; ) embeds in an ordered abelian group ( ˆ D, , &lt; ) .

- ⊕

Proof.

/negationslash

- (i) This follows from the 'rough cancellativity' of multiplication in S . If [ x ] ∼ ⊕ [ y ] ∼ = [ x ] ∼ ⊕ [ z ] ∼ and [ x ] ∼ = -∞ , then x · y ∼ x · z and y ∼ z by Lemma 5.1.7, i.e. [ y ] ∼ = [ z ] ∼ .
- (ii) Note that ⊕ is commutative since + is. We put ˆ D = D × D / ≡ , where ( a, b ) ≡ ( a , b ′ ′ ) if and only if a ⊕ b ′ = a ′ ⊕ b . It is routine to extend ⊕ and &lt; to ˆ . D /square

5.1.1. The Divisible hull. Here we construct the divisible hull, which will be something like the 'ordered semiring tensor product with Q ≥ 0 '.

Definition 5.1.9. Let S div be the quotient of Q ≥ 0 × S by the equivalence relation = div defined by

By an abuse of notation we let ( a b , r ) denote its = div -equivalence class. We define addition + div by

$$n = & \text{uv} \, \detneqslant \, \text{by} \\ & \left ( \frac { a } { b }, r \right ) = & \text{div} \, \left ( \frac { c } { d }, s \right ) \, \text{iff} \, d a r = b c s. \\ \text{of notation we let } \, \left ( \frac { a } { \ } r \right ) \, \text{ denote its} = & \text{div} \, \text{emiv}.$$

$$\text{ne addition } + ^ { a v } \text{ by } \\ \left ( \frac { a } { b }, r \right ) + ^ { d v } \left ( \frac { c } { d }, s \right ) _ { 5 0 } \coloneqq \left ( \frac { 1 } { b d }, d a r + b c s \right ),$$

multiplication · div by and the ordering ≤ div by

$$\mathbf n \cdot \mathbb { u } & \text{by} \\ \left ( \frac { a } { b }, r \right ) \cdot \mathbb { u } & \left ( \frac { c } { d }, s \right ) \coloneqq \left ( \frac { a c } { b d }, r \cdot s \right ), \\ \mathbf r i n \sigma < & \text{div} & \text{hv}$$

$$& \text{ring} \leq ^ { a v } \text{ by} \\ & \quad \left ( \frac { a } { b }, r \right ) \leq ^ { \text{div} } \left ( \frac { c } { d }, s \right ) \text{iff} \ d a r \leq b c s. \\ & \right ) \text{div} \ \leq \left ( \frac { 0 } { 0 } \ \partial \right ) \text{and} \ 1 ^ { \text{div} } \ \leq \left ( 1 \ 1 \right ) \ R v \text{ another} \ a l$$

Finally, let 0 div := (0 , 0) and 1 div := (1 , 1). By another abuse of notation we write S div := ( S div , + div , · div , 0 div , 1 div , ≤ div ).

Observe that, by Lemma 5.1.5(i), for all c, d ∈ S , c &lt; d implies (1 /n, c ) &lt; (1 /n, d ).

↦

Lemma 5.1.10. Let S be a measuring semiring. Then the operations on S div given above in Definition 5.1.9 are well-defined, and S div is a measuring semiring. The map s → (1 , s ) gives an embedding of ordered semirings S → S div .

Proof. The proof that the operations are well-defined is straightforward and is left as an exercise. As one case, to see that ≤ div is welldefined, suppose that dar ≤ bcs and ( a b , r ) = div ( a ′ b ′ , r ′ ) . We must check that da r ′ ′ ≤ b cs ′ , so suppose da r ′ ′ &gt; b cs ′ . Multiplying by ab using Lemma 5.1.5 (i) we obtain da r ab &gt; b csab ′ ′ ′ . Hence, as b ar ′ = ba r ′ ′ we have darab ′ &gt; b csab ′ , so dar &gt; bcs by 5.1.5(i), a contradiction. To show that S div satisfies (MS) , one simply unpacks the definitions and applies that S satisfies (MS) . Details are left to the reader. /square

Convention. In view of this lemma, we shall from now on replace S by its divisible hull S div ; that is, we assume that S is divisible in the sense that for all s ∈ S and q ∈ Q &gt; 0 there is a well-defined element qs of S . Observe that if s ∈ S and q ∈ Q &gt; 0 , then s ∼ qs .

5.1.2. The standard part image of S . If two elements of a measuring semiring S have the same S -dimension, then we can compare them more finely.

Definition 5.1.11. Let S be a measuring semiring, and let x, y ∈ S . We write x ≈ y if x ∼ y and for all q ∈ Q &gt; 1 we have x ≤ qy and y ≤ qx .

It is apparent that x ≈ y is an equivalence relation refining ∼ , and we denote the quotient of S by ≈ by S st .

Lemma 5.1.12. Let S be a measuring semiring and x, y, z ∈ S . If z = 0 and xz ≈ yz then x ≈ y .

/negationslash

/negationslash

Proof. We may suppose x = 0, since otherwise yz = 0, hence y = 0 by Definition 5.1.2 (OS7) , and thus x ≈ y . Suppose for a contradiction that there is q = m n &gt; 1 with qx &lt; y . Then qxz ≤ yz . Since 0 &lt; xz by 51

(OS7) , we have (2 m -1) xz &lt; 2 mxz by Lemma 5.1.5(iii) - note that this uses the Measuring Axiom (MS) . Then (2 m -1) xz &lt; 2 mxz ≤ 2 nyz . Write r := 2 m -1 2 n . By Lemma 5.1.5 we obtain rxz &lt; yz . As r &gt; 1, this contradicts xz ≈ yz . /square

Let a ∈ S . We define the function by

$$\rho _ { a } \colon S \rightarrow \mathbb { R } ^ { \geq 0 } \cup \{ \infty \}$$

↦

Example 5.1.13. Using the functions ρ a and sacrificing some information, we can work with a measuring semiring in a canonical form. With S and its quotient D = S/ ∼ as above, and Z as an indeterminate, we form another measuring semiring P = ( R 〈 Z D 〉 , /squareplus , /boxdot , 0 1 , , &lt; ), where R 〈 Z D 〉 = { rZ d | r ∈ R &gt; 0 , d ∈ D } ∪ { 0 Z 0 } and n := nZ 0 for all n ∈ N , which we equip with 'max-plus' addition and the standard multiplication:

$$& \text{by} \\ & \quad x \mapsto \begin{cases} \ 0 & \text{if} \ d ( x ) < d ( a ) \\ r & \text{if} \ d ( x ) = d ( a ), \, \text{where} \ r \coloneqq \sup \{ q \in \mathbb { Q } \colon q a \leq x \} \\ \infty & \text{if} \ d ( x ) > d ( a ). \end{cases} \\ & \text{Example} \ 5. 1. 1 3. \, \text{Using the functions $\rho_{a}$ and sacrificing some infor-} \\ & \text{mat}, \, \text{we can work with a measuring semiring in a canonical form.} \\ & \quad \cdots \ \sim \ \cdots \ \cdots \ \sim \ \cdots \ \cdots \.$$

and

$$\text{(i)location: } & \quad \cdot \cdot \cdot \\ r _ { 1 } Z ^ { d _ { 1 } } \, \Box \, r _ { 2 } Z ^ { d _ { 2 } } \coloneqq \begin{cases} \begin{array} { c c } ( r _ { 1 } + r _ { 2 } ) Z ^ { d _ { 1 } } & d _ { 1 } = d _ { 2 } \\ r _ { 1 } Z ^ { d _ { 1 } } & d _ { 1 } > d _ { 2 } \\ r _ { 2 } Z ^ { d _ { 2 } } & d _ { 1 } < d _ { 2 } \end{array} \end{cases} \\ & \quad \cdot \\ r _ { 1 } Z ^ { d _ { 1 } } \, \Box \, r _ { 2 } Z ^ { d _ { 2 } } \coloneqq r _ { 1 } r _ { 2 } Z ^ { d _ { 1 } \oplus d _ { 2 } }.$$

$$r _ { 1 } Z ^ { d _ { 1 } } \, \Box \, r _ { 2 } Z ^ { d _ { 2 } } \, \coloneqq r _ { 1 } r _ { 2 } Z ^ { d _ { 1 } \oplus d _ { 2 } }.$$

We put r Z 1 d 1 &lt; r Z 2 d 2 ⇐⇒ ( d , r 1 1 ) &lt; d ,r ( 2 2 ) lexicographically. The measuring semiring axiom (MS) is easily verified. Again, there is a quotient map d P : P → D , with d P ( rZ d ) = d . We call a measuring semiring of the form P a monomial semiring .

Theorem 5.1.14. There is a semiring homomorphism ϕ : S → P such that d = d P ◦ ϕ , with the property that for x, y ∈ S , x ≈ y if and only if ϕ x ( ) = ϕ y ( ) .

Proof. In the argument below we sometimes write ra ≈ r a ′ ′ , where r, r ′ ∈ R and a, a ′ ∈ S . This is an abbreviation for the statement

We define ϕ by transfinite induction. For a subsemiring A of S write d A for the restriction of d to A . Suppose A is a subsemiring of S and ϕ A : A → P is a homomorphism satisfying d A = d P ◦ ϕ A , with the property that for all a, a ′ ∈ A a , ≈ a ′ if and only if ϕ a ( ) = ϕ a ( ′ ). We write ϕ A ( a ) = m a Z ( ) d a ( ) for each a ∈ A . We may extend ϕ A to the divisible hull of A in S by putting ϕ A ( qa ) = qϕ A ( a ) for all q ∈ Q &gt; 0 and a ∈ A ; that is, we may suppose that A is divisible. 52

$$( \forall q, q ^ { \prime } & \in \mathbb { Q } ^ { > 0 } ) [ ( ( q < r \wedge r ^ { \prime } < q ^ { \prime } ) \to q a < q ^ { \prime } a ^ { \prime } ) \wedge ( ( q ^ { \prime } < r ^ { \prime } \wedge r < q ) \to q ^ { \prime } a ^ { \prime } < q a ) ]. \\ \intertext { w r. i. e........................................................................................................................................................................................................ } }$$

Let x ∈ S \ A , and let B be the subsemiring generated by A ∪ { x } . For the inductive step we must show that ϕ A extends to ϕ B : B → P , with d B = d P ◦ ϕ B and the ≈ -condition preserved. Elements of B have the form p x ( ), where p X ( ) ∈ A X [ ]. Let d 0 = d x ( ). We will put ϕ B ( x ) = rZ d 0 for some r ∈ R &gt; 0 . The map ϕ B will then extend to the required homomorphism on B , provided r can be found satisfying certain constraints. These constraints arise through equations of the form p x ( ) = q x ( ) holding in B , where p X , q X ( ) ( ) ∈ A X [ ].

An equivalence such as a x i i ≈ µ a i 0 will force m x ( ) to be defined so that m a ( i ) m x ( ) i = µ m a i ( 0 ). We have to show that two such equivalences, possibly coming from polynomial equations in different dimensions, do not impose conflicting constraints on m x ( ). So suppose we have two such constraints

Let p X ( ) = ∑ n i =1 a X i i and q X ( ) = ∑ l i =1 b X i i , and let p x ( ) = q x ( ) be such a constraint. By dropping lower dimension terms, we may replace p x ( ) = q x ( ) by p x ( ) ≈ q x ( ) and assume that all monomials in p x ( ) and q x ( ) are either 0 or of the same dimension e . Furthermore, by cancelling powers of x using Lemma 5.1.12, we may assume that the constant term of p or q , say the constant term a 0 of p , is nonzero. Thus ρ a 0 ( c ) is a positive real number for each c ∈ S with d c ( ) = d a ( 0 ) = e . Hence, for each non-zero term of form a x i i of p x ( ) we have an equivalence a x i i ≈ µ a i 0 for some µ i ∈ R , where ρ a 0 ( a x i i ) = µ i . Similarly for each non-zero term b x j j we obtain the equivalence b x j j ≈ ν a j 0 .

$$a _ { i } x ^ { i } \approx \mu _ { i } a _ { 0 }$$

$$& ( 2 4 ) & & d _ { j } x ^ { j } \approx \xi _ { j } c _ { 0 } \\ & \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots$$

where a , d i j , a 0 , c 0 ∈ A and µ , ξ i j ∈ R &gt; 0 . Taking the j th power of both sides of (23) and the i th power of both sides of (24), and multiplying the first equation by d i j and the second by a j i , we obtain

$$d _ { j } ^ { i } a _ { i } ^ { j } x ^ { i j } & \approx \mu _ { i } ^ { j } a _ { 0 } ^ { j } d _ { j } ^ { i } \\ \widetilde { \ e a }$$

and

$$& a _ { i } ^ { j } d _ { j } ^ { i } x ^ { i j } \approx \xi _ { j } ^ { i } c _ { 0 } ^ { i } a _ { i } ^ { j }. \\ & \Gamma \Gamma \Phi \Phi.$$

Thus

$$& \mu _ { i } ^ { j } a _ { 0 } ^ { j } d _ { j } ^ { i } \approx \xi _ { j } ^ { i } c _ { 0 } ^ { i } a _ { i } ^ { j }. \\ & \mathfrak { c } \colon \dots \cdots \cdots \cdots \cdots \cdots.$$

$$\mu _ { i } ^ { j } m ( a _ { 0 } ) ^ { j } m ( d _ { j } ) ^ { i } = \xi _ { j } ^ { i } m ( c _ { 0 } ) ^ { i } m ( a _ { i } ) ^ { j }.$$

Since a , a , c 0 i 0 , d j ∈ A , it follows by the inductive hypothesis that

We aim to extend m to B so that m x ( ) is a solution to all equations of the form m a ( i ) X i = µ m a i ( 0 ). Since the coefficients are positive real numbers, each such equation has a unique positive real solution. The problem is to check that two such equations are consistent, and this reduces to showing that the equations m a ( i ) X i = µ m a i ( 0 ) and

m d ( j ) X j = ξ m c j ( 0 ) have a simultaneous positive real solution. This is equivalent to the following equation in R holding, which is itself equivalent to (28):

$$\cdot \, \mathbb { \langle } _ { \mathbb { \Lambda } }. \\ \left ( \frac { \mu _ { i } m ( a _ { 0 } ) } { m ( a _ { i } ) } \right ) ^ { 1 / i } & = \left ( \frac { \xi _ { j } m ( c _ { 0 } ) } { m ( d _ { j } ) } \right ) ^ { 1 / j }. \\ \text{is no inconsistency.    The final assertion                                                                                                                                                                                                        
                                                                                                                                                                                                        }                                                                                                                                                                                                       .                                                                                                                                                                                                        "                                                                                                                                                                                                       '                                                                                                                                                                                                       -                                                                                                                                                                                                       ,                                                                                                                                                                                                        ;                                                                                                                                                                                                        :                                                                                                                                                                                                        |                                                                                                                                                                                                        +                                                                                                                                                                                                        <                                                                                                                                                                                                        >                                                                                                                                                                                                        (                                                                                                                                                                                                        \,                                                                                                                                                                                                        )                                                                                                                                                                                                       !                                                                                                                                                                                                        {$$

Thus, there is no inconsistency. The final assertion follows from the construction of ϕ given above. /square

## 5.2. S -measurable structures.

Definition 5.2.1. Let S be a measuring semiring and let M be an L -structure. We say that M is S -measurable if there is a function h : Def( M ) → S such that

- (ii) ( finite additivity ) h is finitely additive, that is, if X,Y ∈ Def( M ) are disjoint then h X ( ∪ Y ) = h X ( ) + h Y ( );
- (i) ( finite sets ) h X ( ) = | X | for finite X ;
- (iii) ( m.a.c. condition ) for each ∅ -definable family X there exists a finite set F ⊆ S such that h ( X ) = F and for each f ∈ F , h -1 ( { f } ) is a ∅ -definable family; and

We refer to h as a generalised measure . Also, when S is clear from the context, we just say that M is generalised measurable . By an abuse of notation, we also use d to denote the composition d ◦ h : Def( M ) → D .

- (iv) ( Fubini ) suppose that p : X → Y is a definable function for which there exists f ∈ S such that for all a ∈ Y , h p ( -1 ( { a } )) = f ; then we have h X ( ) = f · h Y ( ).

As with MS-measurability, the above definition also has content if, in (iii), we drop the definability assumption that each h -1 ( { f } ) is an ∅ -definable family; without this assumption we say that M is weakly S -measurable .

We say that M is S -ring-measurable , or just ring-measurable , if there is a commutative ordered unital ring S such that M is S ≥ 0 -measurable.

We assemble some simple facts about generalized measurability.

Proposition 5.2.2. Let M be S -measurable with set D of dimensions.

- (i) Any expansion of M by constants is S -measurable.
- (ii) The generalised measure is monotonic, i.e. for all definable A ⊆ B we have h A ( ) ≤ h B ( ) .
- (iii) Definable bijections preserve h .
- (vi) If D = N , then M is measurable, i.e. is MS-measurable.
- (iv) Let A := ∏ n i =1 B i be a cartesian product of definable sets. Then h A ( ) = ∏ n i =1 h B ( i ) . (v) M is S ′ -measurable, where S ′ is the monomial semiring R 〈 Z D 〉 .

Proof. Part (i) is an easy analogue of Lemma 2.1.5. For (ii), let C := B \ A . Then h B ( ) = h A ( ) + h C ( ) ≥ h A ( ). Assertion (iii) is trivial 54

using Definition 5.2.1(iv), and (iv) follows from Definition 5.2.1(iv) by induction. Part (v) is a consequence of Theorem 5.1.14. Finally, to see (vi), observe that if D = N then by Theorem 5.1.14 we may suppose that S = R 〈 Z 〉 , and the result then follows from the definitions. /square

Proposition 5.2.3. Suppose that S is a measuring semiring, M is S -measurable with generalised measure h M , and N ≡ M . Then N is S -measurable.

Proof. We define a generalised measure h N for N . Let χ N be a definable family of sets in N determined by the formula ϕ x, y (¯ ¯), and let χ M be the corresponding definable family in M . Let h M ( χ M ) = F ⊂ S , and for each f ∈ F let dϕ f (¯) be the formula defining those ¯ such that y a h M ( ϕ x, a (¯ ¯)) = f , as guaranteed by Definition 5.2.1 (iii). Since F is finite, for each ¯ a ∈ N | ¯ y | it follows that dϕ f (¯) holds for exactly a one f ∈ F , and for this f we may put h N ( ϕ x, a (¯ ¯)) = f . It is easily checked that this is well-defined - i.e. independent of the choice of formula defining χ - and that h N satisfies Definition 5.2.1. /square

Remark 5.2.4. The use of the finiteness of F in Definition 5.2.1(iii) in the proof of Proposition 5.2.3 is, by compactness, essential. The result justifies the following definition.

Definition 5.2.5. If T is a complete theory and S is a measuring semiring, we say that T is S -measurable if some model of T is S -measurable.

Proposition 5.2.6. Let M be S -measurable, let D = d S ( ) and let ˆ D be the corresponding ordered abelian group as in Lemma 5.1.8. Then Th( M ) is dimensional in the sense of [70] , dimensions taking values in ˆ D .

Proof. We must extend the dimension function on Def( M ) to the family Int( M ) of interpretable sets. Suppose X is a definable set with d X ( ) = e , and E is a definable equivalence relation on X . Since the E -classes are uniformly definable via the formula Exy they take finitely many dimensions f , . . . , f 1 r , with the union S i of the E -classes of dimension f i having dimension g i , say. We extend h to Int( M ) by putting h S /E ( i ) = g i -f i ∈ ˆ D and h S/E ( ) = Max { g i -f i : 1 ≤ i ≤ r } . It is routine to check that the dimension so defined satisfies Definition 1.1 of [70]. /square

In fact, the above proof, in combination with Theorem 5.1.14, yields that generalised measurability extends to M eq .

Proposition 5.2.7. Let M be generalised measurable. Then M eq is generalised measurable.

Proof. Using Theorem 5.1.14 and Lemma 5.1.12 we may suppose that M is S -measurable, where S is a monomial semiring S = R 〈 Z D 〉 with D an ordered abelian group. We extend the map h in Definition 5.2.1 to interpretable sets. The key idea is that if X is a definable set and

E is a definable equivalence relation on X such that h X ( ) = sZ e and h C ( ) = rZ d for each E -class C , then we put h X/E ( ) = s r Z e -d . We leave the reader to verify the details. /square

The following observation connects to Theorem 4.3.1 above.

Proposition 5.2.8. Let M be a generalised measurable strongly minimal set. Then M is measurable, i.e. is MS-measurable.

Proof. We may suppose that M is S -measurable with generalised measure h , where S = R 〈 Z D 〉 for some divisible ordered abelian group D . We now apply Lemma 2.3 of [44] and its proof. Indeed, by the proof of that lemma which works equally well for generalised measurability, if d M ( ) = t , then for any definable X ⊂ M n we have d X ( ) = t. RM( X ). It follows that we may replace the measuring function h by h ′ taking values in R 〈 Z 〉 , putting h ′ ( X ) = µZ RM( X ) whenever h X ( ) = µZ t RM( X ) - the axioms of generalised measurability still apply. Now apply Proposition 5.2.2(vi). /square

5.3. Ultraproducts of m.a.c.s. Weshow that ultraproducts of m.a.c.s are generalized measurable.

Theorem 5.3.1. Let C = { M i : i ∈ I } be an R -m.a.c., where R is a set of functions C → R ≥ 0 . Assume that C contains only finitely many structures of any given finite size. Let U be a non-principal ultrafilter on I . Then there is a measuring semiring S such that M := ∏ i ∈ I M i / U is S -measurable.

Proof. The proof consists of three main steps. We first define S and show that it is a measuring semiring; this is done in Claims 5.3.2-5.3.4. Next, we define the generalised measure on definable sets X = ϕ M b ( ; ¯ ) in the ultraproduct M , show that this definition is well-defined, and in Claim 5.3.5 confirm that this definition is independent of the formula ϕ x b (¯; ¯ ) used to define X . We then complete the proof of the theorem in Claim 5.3.6 by showing that M is S -measurable.

We construct S from R as a quotient. We assume without loss of generality that R is the semiring generated by the functions used to measure definable sets in the models in C . Moreover, we can assume for every formula ϕ x y (¯; ¯) that no member π of the ∅ -definable partition for ϕ x y (¯; ¯) satisfies for some n ∈ N that if ( M,b ¯ ) ∈ π then | M | ≤ n . For f, g ∈ R , write f ≤ g if and only if { i : f ( M i ) ≤ g M ( i ) } ∈ U .

Claim 5.3.2. ≤ is a (weak) total pre-order on R , i.e. it is reflexive, transitive, and total.

Proof of claim. Reflexivity and transitivity follow from the fact that U is a filter. Since U is an ultrafilter, ≤ is total. /square

Put

$$\text{and } R _ { > 0 } \coloneqq R \, \bigwedge R _ { = 0 }. \\ \text{Define } & \simeq \text{on } R _ { > 0 } \text{ by}$$

where the right-hand side means

$$\text{ne} & \approx \text{on} \stackrel {. } { R } _ { > 0 } \text{ by} \\ & f \approx g \iff \left | \frac { f } { g } - 1 \right | \rightarrow 0 \text{ as } i \rightarrow \infty \text{ on} \, \mathcal { U }, \\ & \text{the right-hand side means} \\ & \left ( \forall \varepsilon > 0 \right ) \left ( \exists \forall \in \mathcal { U } \right ) \left ( \forall i \in \mathcal { U } \right ) \left | \frac { f ( M _ { i } ) } { } - 1 \right | < \varepsilon.$$

that is,

$$| f ( M _ { i } ) - g ( M _ { i } ) | = o ( g ( M _ { i } ) ) \text{ as } i \to \infty \text{ on } \mathcal { U }. \\ \bullet \bullet \bullet \, \neg \, \neg \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \,.$$

$$& \text{the right-hand side means} \\ & \text{(\forall\varepsilon > 0) (\exists U \in \mathcal { U } ) (\forall i \in U ) \left | \frac { f ( M _ { i } ) } { g ( M _ { i } ) } - 1 \right | < \varepsilon, \\ & \text{s,} \\ & \text{$s,}$$

Claim 5.3.3. The relation /approxorequal is an equivalence relation and /approxorequal -equivalence classes are ≤ -convex in R . Also, R =0 is ≤ -convex in R .

Proof. That R =0 is ≤ -convex is evident.

∣ 1 ∣ ∣ ∣ &lt; ε. There is δ &gt; 0 such that δ &lt; f ( M i ) g M ( i ) for all i ∈ U . There is V ∈ U

Reflexivity of /approxorequal is immediate. To see that /approxorequal is symmetric, suppose f /approxorequal g and let ε &gt; 0, with ε &lt; 1. Let U ∈ U such that ( ∀ i ∈ U ) ∣ ∣ ∣ f ( M i ) g M ( i ) -

∣ ∣ have ∣ ∣ ∣ g M ( i ) f ( M i ) -1 ∣ ∣ ∣ &lt; ε. A similar argument proves transitivity.

∣ with V ⊂ U such that ( ∀ i ∈ V ) ∣ ∣ ∣ f ( M i ) g M ( i ) -1 ∣ ∣ ∣ &lt; εδ. Then for all i ∈ V we

By the claim, R &gt; 0 / /approxorequal inherits a total ordering from ≤ . We treat R =0 as an additional equivalence class that we denote by [0]. Likewise we write [ f ] for the /approxorequal -class of f ∈ R &gt; 0 . Let S := ( R &gt; 0 / /approxorequal ) ∪ { [0] } . It is evident that every function in R is /approxorequal -equivalent to a { + , ×} -term in functions in R that measure a definable set in the models in C . There are now several assertions to be established.

∣ ∣ To see that /approxorequal -classes are convex, suppose that f, g, h ∈ R &gt; 0 and f /approxorequal h and f &lt; g &lt; h . Let ε &gt; 0 and U ∈ U satisfy ( ∀ i ∈ U ) ∣ ∣ ∣ ∣ f ( M i ) h M ( i ) -1 ∣ ∣ ∣ ∣ &lt; ε. We may suppose that f ( M i ) &lt; g M ( i ) &lt; h M ( i ) for all i ∈ U , so ∣ ∣ ∣ ∣ f ( M i ) g M ( i ) -1 ∣ ∣ ∣ ∣ &lt; ∣ ∣ ∣ ∣ f ( M i ) h M ( i ) -1 ∣ ∣ ∣ ∣ for all i ∈ U . It follows that ∣ ∣ ∣ ∣ f ( M i ) g M ( i ) -1 ∣ ∣ ∣ ∣ &lt; ε, as required. /square

Claim 5.3.4. The operations + and × are well-defined on S , and with these operations S is a measuring semiring.

Proof. First we handle the assertion that + and × are well-defined on S , omitting many details. To see that + is well-defined, suppose f, f , g, g ′ ′ ∈ R &gt; 0 with f /approxorequal f ′ and g /approxorequal g ′ , and let ε &gt; 0. There are U, V ∈ U such that for all i ∈ U we have ∣ ∣ ∣ ∣ f ( M i ) f ′ ( M i ) -1 ∣ ∣ ∣ ∣ &lt; ε , that is, 57

| f ( M i ) -f ′ ( M i ) | &lt; ε f | ′ ( M i ) ), | and likewise for all i ∈ V we have ∣ ∣ ∣ ∣ g M ( i ) g ′ ( M i ) -1 ∣ ∣ ∣ ∣ &lt; ε , so | g M ( i ) -g ′ ( M i ) | &lt; ε g | ′ ( M i ) . | Let W = U ∩ V ∈ U . For all i ∈ W we have

Similar arguments show that × is well-defined and S is an ordered semiring.

| ( f ( M i )+ ( g M i )) -( f ′ ( M i )+ g ′ ( M i )) | ≤ | f ( M i ) -f ′ ( M i ) + | | g M ( i ) -g ′ ( M i ) | &lt; ε ( | f ′ ( M i ) | + | g ′ ( M i ) ) = | ε f | ′ ( M i ) + g ′ ( M i ) | .

To see that S is a measuring semiring, define ∼ and the dimension function d : S → D as usual. Suppose that f, g, h, ∈ S are such that [ f ] &lt; g [ ] and d ([ g ]) = d ([ h ]). We further suppose that [ g ] ≤ [ h ] ≤ n g [ ], the other case being similar. There is ε &gt; 0 and U ∈ U such that for all i ∈ U we have f ( M i ) &lt; g M ( i ) and 1 -f ( M i ) g M ( i ) &gt; ε . We may assume additionally that for all i ∈ U we have g M ( i ) &lt; h M ( i ) &lt; ng M ( i ). Let ε ′ := ε n +1 . Then for i ∈ U we have

$$1 - \frac { f ( M _ { i } ) + h ( M _ { i } ) } { g ( M _ { i } ) + h ( M _ { i } ) } \geq 1 - \frac { f ( M _ { i } ) + n g ( M _ { i } ) } { ( n + 1 ) g ( M _ { i } ) } \geq \varepsilon ^ { \prime },$$

hence [ f ] + [ h &lt; g ] [ ] + [ h ], as required.

/square

↦

This assignment uses the definition of X by an instance of a particular formula ϕ . We must show the following:

We now define the generalised measure in the ultraproduct M and show that this definition is well-defined. Let X be definable in M with parameters via the formula ϕ x b (¯; ¯ ). Let Π and H Π be as given in Definition 2.1.1 of an R -m.a.c. applied to the formula ϕ x y (¯; ¯). Write ¯ = [( ¯ ) b b i i ∈ I ] U . Let π ∈ Π be such that { i ∈ I : ( M,b i ¯ ) i ∈ π } ∈ U . Since U is an ultrafilter and Π is finite, this choice is well-defined and unique. Define h X ( ) := [ M i → h π ( M i )] /approxorequal , where we abuse notation slightly by viewing [0] as an /approxorequal -class. Note that h X ( ) ∈ S .

Claim 5.3.5. The definition of h X ( ) above is independent of the formula defining X .

Proof. To this end, suppose that ϕ x b (¯; ¯ ) is as above and ψ x c (¯; ¯) also defines X . Let the partition and measuring functions associated with ψ x y (¯; ¯) be Λ and H Λ = { h λ : λ ∈ Λ , and } λ ∈ Λ be such that

∣ ∣ as i →∞ on U . Let U ∈ U be such that M i | = ∀ ¯ ( x ψ x, c (¯ ¯ ) i ↔ ϕ x, b (¯ ¯ )) i for all i ∈ U . Modulo the ultrafilter, we may assume without loss of generality that h π ≤ h λ . By the triangle inequality

$$\circ \Lambda \text{ and } H _ { \Lambda } = \{ h _ { \lambda } \colon \lambda \in \Lambda \}, \text{ and } \lambda \in \Lambda \text{ be such that} \\ \left | | \psi ( M _ { i } ^ { | \bar { x } | }, \bar { c } _ { i } ) | - h _ { \lambda } ( M _ { i } ) \right | = o ( | h _ { \lambda } ( M _ { i } ) | ) \\ \text{ on } \mathcal { U }. \text{ Let } U \in \mathcal { U } \text{ be such that } M _ { i } \models \forall \bar { x } \left ( \psi ( \bar { x }, \bar { c } _ { i } ) \leftarrow \\ \left \aleph \ U. \text{ Modulo the ultrafilter. we may assume with}$$

$$| h _ { \pi } ( M _ { i } ) - h _ { \lambda } ( M _ { i } ) | & = o ( h _ { \lambda } ( M _ { i } ) ) \\ \intertext { r } \Psi _ { 1 } \dots \dots \dots \Psi _ { 2 } \dots \Psi _ { 3 } \dots \Psi _ { 4 } \dots \dots \Psi _ { 5 } \dots \dots \dots }$$

as i → ∞ on U . Therefore h π /approxorequal h λ , and thus the definition of h X ( ) does not depend on the defining formula, as desired. Note that the

argument must be modified slightly if X = ∅ , since X is measured by [0]. /square

↦

For n ∈ N &gt; 0 we define the /approxorequal -equivalence class [ n ] as follows. Let ϕ n ( x y , . . . , y ; 1 n ) be the formula stating that y , . . . , y 1 n are distinct and x is equal to one of them. Let h n be the measuring function for ϕ n as defined above, and put [ n ] := [ h n ] /approxorequal . The mapping n → [ n ] is an embedding of ( N , + ) into , · S . We note, but do not use, that it is easy to show that for each n ∈ N there is no /approxorequal -equivalence class between [ n ] and [ n +1].

With 0 interpreted by [0] and 1 interpreted by [1] in S , we come to our last claim:

## Claim 5.3.6. The axioms in Definition 5.2.1 are satisfied.

Proof. To see that Definition 5.2.1(i) holds, let X be a finite set in M of size n . Then X is defined via a formula ϕ n as above, and it follows that h X ( ) = [ n ].

For Definition 5.2.1(ii), suppose that X and Y are disjoint definable sets, defined by formulas ϕ x, a (¯ ¯) and ψ x, b (¯ ¯ ), say. Let χ x, yz (¯ ¯¯) be the formula ϕ x, y (¯ ¯) ∨ ψ x, z (¯ ¯) (so | ¯ y | = ¯ | a | and | ¯ z | = ¯ ). | b | Thus χ x, ab (¯ ¯ ¯ ) defines X . There is U ∈ U such that for i ∈ U the sets defined by ϕ x, a (¯ ¯ ) i and ψ x, b (¯ ¯ ) i are disjoint. Let Π be the partition associated with ϕ x, y (¯ ¯) with H Π ⊂ R , and likewise let Θ and H Θ be associated with ψ x, z (¯ ¯), and Λ and H Λ with χ x, yz (¯ ¯¯). We may further suppose there are π ∈ Π, θ ∈ Θ and λ ∈ Λ such that ( M,a i ¯ ) i ∈ π , ( M,b i ¯ ) i ∈ θ and ( M,a b i ¯ ¯ ) i i ∈ λ for all i ∈ U . Let h π , h θ and h λ be the corresponding elements of R .

Suppose first that there is V ∈ U such that for i ∈ V we have h λ ( M i ) ≥ 3( h π ( M i ) + h θ ( M i )). Replacing U by a suitable subset of U ∩ V , we may then arrange that for all i ∈ U we have

Since | χ M , a b ( i ¯ ¯ ) i i | = | ϕ M,a ( ¯ ) i | + | ψ M,b ( ¯ ) i | for i ∈ U , it follows by the triangle inequality that h λ ( M i ) -( h π ( M i ) + h θ ( M i )) &lt; 1 2 ( h λ ( M i ) + h θ ( M i ) + h π ( M i )), and it is easily checked that this is incompatible with h λ ( M i ) ≥ 3( h π ( M i ) + h θ ( M i )).

$$\begin{array} { c } \cdot \, \cos \nolimits \nolimits _ { \lambda _ { i } } \, \tau \, \theta \, \nolimits _ { \lambda _ { i } } \, \tau \, \theta \, \nolimits _ { \lambda _ { i } } \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theho \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theigma \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \themega \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theeta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theelta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theothing \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \the. \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theota \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theoda \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \thena \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \thega \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theappa \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \thetheta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \, \theta \, \tau \,
 \, \chi ( M _ { i }, \bar { a } _ { i } \bar { b } _ { i } ) | \, = \, | \varphi ( M _ { i }, \bar { a } _ { i } ) | + | \psi ( M _ { i }, \bar { b } _ { i } ) | \, \text{ for } \, i \, \in \, U, \text{ it fall} \\ \text{single inequality that } h _ { \lambda } ( M _ { i } ) - ( h _ { \pi } ( M _ { i } ) + h _ { \theta } ( M _ { i } ) ) ) < \frac { 1 } { 2 } ( h _ { \lambda } ) h _ { \lambda } ) \\ \, + h _ { \nu } ( M _ { i } ) ). \, \text{ and } \, \text{ it is easily checked that this is incom! \end{array}$$

Thus, we now assume for all i ∈ U that h λ ( M &lt; i ) 3( h π ( M i )+ h θ ( M i )). Let ε &gt; 0, and put ε ′ = ε 4 . Adjusting U , we may suppose for all i ∈ U 59

that

$$\text{so} \\ \left | \frac { h _ { \lambda } ( M _ { i } ) } { h _ { \pi } ( M _ { i } ) + h _ { \theta } ( M _ { i } ) } - 1 \right | < \varepsilon ^ { \prime } \frac { h _ { \lambda } ( M _ { i } ) + h _ { \pi } ( M _ { i } ) + h _ { \theta } ( M _ { i } ) } { h _ { \pi } ( M _ { i } ) + h _ { \theta } ( M _ { i } ) } < \varepsilon. \\ \text{It follows that } h _ { \lambda } \approx h _ { \pi } + h _ { \theta }, \text{ as required for Definition 5.2.1} ( \text{ii} ). \text{Definition 5.2.1} ( \text{iii} ) follows almost immediately from how we assigned }. \text{$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$$$

∣ ∣ ∣ ∣ h π ( M i ) -| ϕ M , a ( i ¯ ) i | ∣ ∣ ∣ ∣ &lt; ε h ′ π ( M , i ) ∣ ∣ ∣ ∣ h θ ( M i ) -| ψ M , b ( i ¯ ) i | ∣ ∣ ∣ ∣ &lt; ε h ′ θ ( M , i ) and ∣ ∣ ∣ ∣ h λ ( M i ) -| χ M , a b ( i ¯ ¯ ) i i | ∣ ∣ ∣ ∣ &lt; ε h ′ λ ( M . i ) Thus | h λ ( M i ) -( h π ( M i ) + h θ ( M i )) | &lt; ε ′ ( h λ ( M i ) + h π ( M i ) + h θ ( M i )) , so

Definition 5.2.1(iii) follows almost immediately from how we assigned values in S to definable sets. Definition 5.2.1(iv) is proved by similar arguments; we omit the details. /square

With this, the proof of Theorem 5.3.1 is complete.

$$\Box$$

Remark 5.3.7. The above argument shows that if C is a weak m.a.c. then any ultraproduct is weakly generalised measurable, and hence, by Proposition 5.4.1 and Lemma 5.4.3 below, does not have the strict order property and has functionally unimodular theory.

The construction of S is much simpler if C is a m.e.c., the essential point being that because of exactness, Definition 2.1.1 holds with values taken in a ring.

Theorem 5.3.8. Suppose that C is a m.e.c. and let U be an ultrafilter on C and M the corresponding ultraproduct of C . Then there is an ordered commutative ring S (an integral domain) such that M is S ≥ 0 -measurable.

Proof. Suppose that C is an R -m.e.c. and let ¯ be the ring of funcS tions C → Z generated by R . We adopt the notation h π , etc. from Definition 2.1.1. For each definable family Φ given by the formula ϕ x, y (¯ ¯) there is a corresponding finite set H Φ ⊂ R and for each r ∈ H Φ a corresponding formula dϕ r (¯) defining y in each N ∈ C the set of ¯ a such that | ϕ x, a (¯ ¯) | = ( r N ).

Now define ˜ : h Def( M ) → ¯ in the obvious way: S If X := ϕ x, a (¯ ¯), then put ˜ ( h X ) = r if and only if M | = dϕ r (¯). a It can be checked that this is well-defined and that conditions (i)-(iv) of Definition 5.2.1 hold for M , but with the ring ¯ in place of a semiring. S There is a natural pre-total order /precedesequal on ¯ , S where s 1 /precedesequal s 2 if and only if

$$\{ N \in \mathcal { C } \colon s _ { 1 } ( N ) \leq s _ { 2 } ( N ) \} \in \mathcal { U }.$$

Define

$$J \coloneqq \{ s \in \bar { S } \colon \{ N \in \mathcal { C } \colon s ( N ) = 0 \} \in \mathcal { U } \}. \\ \text{is a convev ideal of } \bar { S } \text{ and the next total order} \prec on \bar { S } \text{ in}$$

Then J is a convex ideal of ¯ and the pre-total order S /precedesequal on ¯ induces a S total order on S := ¯ S/J . If η is the natural map ¯ S → S and h = η ◦ ˜ , h then h witnesses the statement of the theorem; since S is an ordered ring, S ≥ 0 certainly satisfies the measuring semiring axiom. As S is an ordered ring it is immediate that it is an integral domain. /square

Wenext explore the implications of Theorem 5.3.1 and Theorem 5.3.8 for polynomial m.a.c.s and m.e.c.s. In the context of Theorem 5.3.1 and its proof, we may suppose that if f ∈ R and r ∈ R &gt; 0 , then rf ∈ R , where ( rf )( M ) = r f ( ( M )) for each M ∈ C . Given an ultrafilter U on I , we extend to R our earlier definition of ∼ on a measuring semiring. We define ∼ on R by putting f ∼ g if there is V ∈ U and n ∈ N &gt; 0 such that

/negationslash

( f ( M k ) ≤ g M ( k ) ≤ nf M ( k ) ) ∨ ( g M ( k ) ≤ f ( M k ) ≤ ng M ( k ) ) for all k ∈ V. Then ∼ is an equivalence relation on R . Also, for f, g ∈ R , write f /lessmuch g if f ∼ g and there is V ∈ U such that f ( M &lt;g M i ) ( i ) for all i ∈ V .

Lemma 5.3.9. With the assumptions and notation of Theorem 5.3.1, the following hold.

- (i) If f, g ∈ R \ R =0 with f ∼ g , then there is r ∈ R &gt; 0 such that f /approxorequal rg .
- (ii) If f, g ∈ R with f /lessmuch g , then f + g /approxorequal g .
- (iii) If f, g ∈ R with f ∼ g and f /approxorequal rg , then f + g /approxorequal ( r +1) g .

Proof. (i) Let X = { q ∈ Q : ( ∃ V ∈ U )( ∀ k ∈ V ) f ( M k ) ≤ qg M ( k ) } . Then X is non-empty and bounded below, so we may put r = inf( X ). R &gt; 0

$$r ( 1 - \varepsilon ) g ( M _ { k } ) & \leq f ( M _ { k } ) \leq r ( 1 + \varepsilon ) g ( M _ { k } ). \\ f ( M. \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdots$$

For every ε ∈ there is W ∈ U such that for all k ∈ W we have

- Thus ∣ ∣ f ( M k ) rg M ( k ) -1 ∣ ∣ ≤ ε for all k ∈ W , so f /approxorequal rg as required. (ii) Let ε &gt; 0 and choose n ∈ N with n &gt; 1 /ε . There is V ∈ U with nf M ( k ) &lt; g M ( k ) for all k ∈ V . Then | ( f + g )( M k ) -g M ( k ) | ≤ f ( M k ) ≤ εg M ( k ), as required.
- (iii) The proof is similar and left to the reader.

/square

We next consider strengthenings of Theorems 5.3.1 and 5.3.8 for polynomial m.a.c.s and m.e.c.s. The main purpose of the next proposition is to support Lemmas 6.1.3 and 6.1.7, which give supersimplicity of ultraproducts of polynomial m.a.c.s.

Proposition 5.3.10. Suppose that C = { M i : i ∈ I } is a polynomial m.a.c. containing just finitely many members of each finite size, and let M be an ultraproduct of C with respect to a non-principal ultrafilter U on I . Let R S , and /approxorequal be as in Theorem 5.3.1. Then there is a set P 61

of monomials in R of form rZ d 1 1 . . . Z d k k , where r ∈ R &gt; 0 , d 1 , . . . , d k ∈ N and Z , . . . , Z 1 k are indeterminates, such that:

- (i) each element of R \ R =0 lies in the /approxorequal -class of a unique element of P ; and
- (ii) the ordered semiring structure on S induces a total order &lt; on P ∪ { 0 } with least element 0 and ordered semiring operations /squareplus and /boxdot on P as follows, where f, g ∈ P :

$$\stackrel { \cdot } { \sim } \lambda \times \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \end{array}$$

Proof. We just sketch the proof. We suppose that C is a polynomial m.a.c. with respect to balanced formulas

$$\delta _ { 1 } ( \bar { x } _ { 1 }, \bar { y } _ { 1 } ), \dots, \delta _ { k } ( \bar { x } _ { k }, \bar { y } _ { k } ) \text{ and } N _ { 1 }, \dots, N _ { k }$$

as in Definition 2.2.2. Thus, every element h ∈ R may be identified with a polynomial P h ( Z , . . . , Z 1 k ) ∈ R [ Z , . . . , Z 1 k ] and a definable set in a structure M ∈ C that has cardinality approximately P h ( | δ 1 ( M | ¯ x 1 | , a ¯ ) 1 | 1 N 1 , . . . , | δ k ( M | ¯ x k | , a ¯ ) k | 1 N k ) for suitable ¯ a , . . . , a 1 ¯ . k Thus, every element of S \ { 0 } in the proof of Theorem 5.3.1 is an /approxorequal -class of such polynomials.

Choose P to contain a unique monomial rZ e 1 1 . . . Z e k k from each /approxorequal -class restricted to the set of monomials. By Lemma 5.3.9, every polynomial P h ∈ R \ R =0 is equivalent modulo /approxorequal to a unique element of P . The ordering on S defined in the proof of Theorem 5.3.1 induces an ordering on P , and the semiring operations of S induce operations /squareplus and /boxdot on P with the stated properties. /square

Proposition 5.3.11. Suppose that C is a polynomial m.e.c. in the sense of Definition 2.2.2, and let M be an ultraproduct of C . Then M is S -measurable for some finitely generated ordered ring S .

Proof. We follow the proof of Theorem 5.3.8. The ring S will have the form Z [ X , . . . , X 1 f ] / I for some f and some convex ideal I . Here each X i corresponds in C to a certain set defined by δ x , a (¯ i ¯ ). i /square

## Example 5.3.12.

- (i) Let M be a measurable structure, as defined at the beginning of this section. Then M is generalised measurable, with monomial measuring semiring R 〈 Z 〉 . A definable set assigned the measuredimension pair ( µ, d ) will be assigned the value µZ d ∈ R 〈 Z 〉 .
- (ii) Consider a structure of the form ( K,W ,..., W 1 k ), where K is a pseudofinite field in the language of rings and W 1 &lt; .. . &lt; W k are infinite-dimensional vector spaces over K , with W i +1 /W i infinite dimensional for each i ; these are ultraproducts of the class

from Corollary 3.2.3. This structure is generalised measurable in a monomial semiring of the form R 〈 Z D 〉 , where D ∼ = Z k +1 (lexicographically ordered).

- (iii) By Theorem 3.3.3, the class of finite vector spaces equipped with a symplectic form over a finite field is an R -m.a.c., where R = Q ( F V )[ ]. It follows from Theorem 5.3.1 that an ultraproduct consisting of an infinite-dimensional vector space with a symplectic form over an infinite pseudofinite field is S -measurable for some measuring semiring S . Inspection of the proof of Theorem 5.3.1 shows that we may take S to be the set of monomials µ V F r s where V and F are indeterminates, and the pairs ( r, s ) ∈ N × Z are lexicographically ordered. The semiring operations are as in Proposition 5.3.10.
- (iv) Let M be a pseudofinite strongly minimal set. By Theorem 4.3.1, M is elementarily equivalent to an ultraproduct of a m.e.c. and, in fact, Theorem 4.3.1 and Theorem 5.3.8 ensure that M is ringmeasurable in the ring Z [ Z ], in which 1 /lessmuch Z /lessmuch . . . /lessmuch Z n /lessmuch . . . .
- (v) If M is a smoothly approximable structure, then M is ring-measurable in a finitely generated ordered ring, where the number of generators is at most the number of geometries in a 'standard system of geometries' in the sense of [19, Definition 2.5.6]. This follows from Proposition 5.3.11 and Theorem 4.1.2.
- 5.4. Some basic model-theoretic properties of generalized measurable structures. Recall that a theory T has the strict order property if some model of T has an interpretable partial order containing an infinite totally ordered subset. A theory is said to have NSOP if it does not have the strict order property.

Proposition 5.4.1. If M is a weakly generalised measurable structure then its theory has NSOP.

Proof. Let S be a measuring semiring and let M be weakly S -measurable. Suppose there exists a formula ϕ x (¯ ; ¯ 1 x 2 ) that defines a (strict) preorder on the power M t of M with arbitrarily long finite chains. Let ψ z x , x (¯; ¯ 1 ¯ ) be the formula 2

$$\varphi ( \bar { x } _ { 1 } ; \bar { z } ) \wedge \varphi ( \bar { z } ; \bar { x } _ { 2 } ).$$

By Ramsey's theorem and clause (iii) of weak S -measurability, there exists s ∈ S and ¯ a , a 1 ¯ 2 , a ¯ 3 such that ϕ a , a (¯ i ¯ ) and j h ψ z a , a ( (¯; ¯ i ¯ ) j ) = s for each i, j ∈ { 1 2 3 , , } with i &lt; j . Now ψ M a ,a ( ; ¯ 1 ¯ ) 3 contains the disjoint union of ψ M a ,a ( ; ¯ 1 ¯ ) and 2 ψ M a ,a ( ; ¯ 2 ¯ ), together with the sin3 gleton { ¯ a 2 } . Thus

$$s & \geq s + s + 1 \\ \dots & \dots$$

which contradicts Lemma 5.1.5(iii).

/square

The following definition is essentially from [24], although note that there is some confusion in the literature around related notions, as clarified in [44] and [31].

Definition 5.4.2. A structure M is functionally unimodular if, whenever f , f 1 2 : A → B are definable maps and there are integers k , k 1 2 such that | f -1 1 ( b ) | = k 1 and | f -1 2 ( b ) | = k 2 for all b ∈ B , then k 1 = k 2 .

Lemma 5.4.3. Let M be a weakly S -measurable structure for some measuring semiring S . Then M is functionally unimodular.

Proof. Let h be the corresponding measuring function, and adopt the notation and assumptions of Definition 5.4.2. By Definition 5.2.1(i) and (iv), we have h A ( ) = k h B 1 ( ) = k h B 2 ( ), and it follows by Lemma 5.1.5(iii) that k 1 = k 2 . /square

We consider briefly the additional model-theoretic implications of ring -measurability as compared with generalised measurability.

Proposition 5.4.4. Suppose that the structure M is S -ring-measurable and let X ⊂ M n be definable. Then

- (ii) any definable surjection f : X → X is injective.
- (i) any definable injection f : X → X is surjective; and

Proof. Let h : Def( M ) → S denote the function given by S -measurability. (i) Let Y := X f X \ ( ). Then h X ( ) = h f ( ( X ))+ h Y ( ) = h X ( )+ h Y ( ), as h X ( ) = h f ( ( X )) by injectivity. Hence h Y ( ) = 0, so Y = ∅ .

(ii) Suppose that X = Y 1 ∪ Y 2 , where Y 1 := { x ∈ X : | f -1 ( f ( x )) | = 1 } and Y 2 = X \ Y 1 . Put Z 1 = f ( Y 1 ) and Z 2 := f ( Y 2 ). Then h Y ( 1 ) + h Y ( 2 ) = h X ( ) = h Z ( 1 )+ h Z ( 2 ) = h Y ( 1 )+ h Z ( 2 ), in view of the definable partitions X = Y 1 ∪ Y 2 = Z 1 ∪ Z 2 and of the fact that h /harpoonupright Y 1 is a bijection onto Z 1 . As h /harpoonupright Y 2 is at least 2-to-1, we have h Y ( 2 ) ≥ 2 h Z ( 2 ). Combining these observations, h Z ( 2 ) = h Y ( 2 ) ≥ 2 h Z ( 2 ), forcing h Z ( 2 ) = 0 and hence Y 2 = Z 2 = ∅ . /square

## Remark 5.4.5.

- (i) Both parts of Proposition 5.4.4 require ring -measurability, not just generalised measurability. For example, the structure ( N , S ) (with S the successor function) is strongly minimal and unimodular in the sense of [44], hence measurable by [44, Proposition 3.1]. Here, the definable function S is injective but not surjective.
- (ii) For an example of a measurable structure with a definable surjection M → M that is not injective, let { c n : n ∈ Z \ N } be disjoint from Z and let M have domain Z ∪ C . Define f : M → M by putting f ( n ) = n + 1 for n ∈ Z , f ( c n ) = c n +1 for n &lt; -1, and f ( c -1 ) = 0. Then ( M,f ) is again strongly minimal and unimodular, hence measurable, but f is surjective but not injective.
- (iii) Proposition 5.4.4(i) also follows from [47, Theorem 3.1].

- (iv) If M is S -ring-measurable where S is generated as a ring by Im( h ), then the ring S is a quotient of the Grothendieck ring of M , as defined for example in [48].
- (v) Just as generalised measurability extends to M eq (see Proposition 5.2.7), also if M is ring-measurable then so is M eq . This follows essentially because the quotient field of an ordered integral domain is an ordered field, and thus we may extend a measuring function h to quotients (as in the proof of Proposition 5.2.7) so that it takes values in an ordered field.

## 6. Simplicity and supersimplicity

As shown in [25, Corollary 3.7], (MS-)measurable structures (defined at the beginning of Section 5) are supersimple of finite rank, so it is natural to ask what model-theoretic properties generalised measurable structures have. In this section we give criteria on measuring rings S which are sufficient for the supersimplicity/simplicity of S -measurable structures.

## 6.1. Ordered polynomial rings with well-ordered variables.

- 6.1.1. Well-ordered semigroups. Let ( S, + , &lt; ) be a commutative totally ordered semigroup (written additively) and let 〈 A 〉 denote the semigroup generated by a subset A ⊆ S .

We require the following fact proved by Higman [35]; a simpler proof was given by Nash-Williams [61].

Lemma 6.1.1. Let A ⊆ S be well-ordered, positive and such that 0 ∈ A . Then 〈 A 〉 is well-ordered.

- 6.1.2. Well-ordered dimensions. Let { X i : i ∈ I } be a set of variables, let R := R [( X i ) i ∈ I ] be the commutative ring generated over R by the X i and let &lt; be a ring ordering on R . Let M be an ( R ≥ 0 , &lt; )-measurable structure with measuring function h : Def( M ) → R ≥ 0 . Let ∼ be the usual equivalence relation on R given by: x ∼ y if x is in the convex hull of { ry | r ∈ R &gt; 0 } . Let 〈 X 〉 be the semigroup generated multiplicatively by the variables { X i : i ∈ I } .

Lemma 6.1.2. Assume { X / i ∼ : i ∈ I } is well-ordered by the ordering induced from R . Then R ≥ 0 / ∼ is well-ordered.

Proof. The ∼ -equivalence class of a given h ∈ R is equal to the maximum of the equivalence classes of the monomials that make up h . Thus it suffices to show that the set of ∼ -equivalence classes of monomials is well-ordered. This follows from Lemma 6.1.1, applied multiplicatively. /square

Similarly, we have:

Lemma 6.1.3. Let C be a polynomial m.a.c., let M be an infinite ultraproduct of members of C and let S be obtained as in Theorem 5.3.1 (so M is S -measurable). Then S/ ∼ is well-ordered.

Proof. By Proposition 5.3.10, we may identify S with a certain set P of monomials in X , . . . , X 1 k , with the natural multiplication. By Lemma 6.1.1 the multiplicative submonoid of S generated by { 1 , X , . . . , X 1 k } is well-ordered. Since every element of S is ∼ -equivalent to an element in this monoid, the result follows. /square

- 6.1.3. Dimension versus D-rank. For a definable set X in a structure we write D X ( ) for the (ordinal-valued) D -rank of X (see e.g. [46, Definition 2.5.6]). This should not be confused with the set D of dimensions. Below, we write d X ( ) for d h X ( ( )), for any definable set X .

Theorem 6.1.4. Let M be S -measurable, let d : S → D be the corresponding dimension function and let D 0 = { d X ( ) : X ∈ Def( M ) } , the set of dimensions taken by definable sets. Suppose that D 0 is wellordered and identify it with the corresponding ordinal. Then

- (i) D X ( ) d X ( ) for all definable sets X ; and
- (ii) T = Th( M )
- ≤ is supersimple.

Proof. We first note that (ii) follows immediately from (i) and [46, Proposition 2.5.11]. For the proof of (i), it suffices to show for all definable sets X and all α ∈ Ord that D X ( ) ≥ α implies d X ( ) ≥ α . We prove this by transfinite induction.

Suppose that D X ( ) ≥ α . If α = 0 then the result is trivial since d always takes non-negative values. Likewise the case when α is a limit ordinal is immediate.

Suppose now that α = β + 1. There exists a formula ψ x y (¯; ¯) and such that

- (¯ ) c i i ∈ ω
- (1) for all i ∈ ω , ψ M c ( ; ¯ ) i ⊆ X ;
- (3) there exists k ∈ ω such that { ψ x c (¯; ¯ ) i | i ∈ ω } is k -inconsistent.
- (2) for all i ∈ ω , D ψ M c ( ( ; ¯ )) i ≥ β ; and

We aim to show that d X ( ) ≥ α , equivalently d X ( ) &gt; β . Write X i := ψ M c ( ; ¯ ). i Since X i ⊆ X , by induction we have d X ( ) ≥ β , so we assume for a contradiction that d X ( ) = β . Let s = h X ( ) and for each definable set Y write ρ Y ( ) = ρ s ( h Y ( )), the measure of Y relative to s (i.e. to X ), as defined just before Example 5.1.13.

Let ρ ∗ := min { ρ X ( i ) | i ∈ ω } , which exists by clause (iii) of Definition 5.2.1. Let N ∈ N and choose m ≥ Nk 3 . We restrict our attention to X i where i ≤ m , and put X := { X i | i ≤ m } . We aim to approximate the ρ -measure of ⋃ X i ∈X X i . We cannot use finite additivity directly since there can be some non-trivial intersection between different X i .

For j &lt; k , let X j denote those elements of ⋃ X which are members of precisely j -many X i , and let X j i := X i ∩ X j . We thus have a partition 66

X i = ⊔ j&lt;k X j i for each i ≤ m . For j &lt; k , put I j := { i ≤ m | ρ X ( j i ) ≥ ρ /k ∗ } .

Applying the claim there exists j 0 &lt; k such that | I j 0 | ≥ m/k . Elements of X j 0 i are included in at most j 0 members of X , hence

Claim 6.1.5. ⋃ { I j | j &lt; k } = { 1 , . . . , m } . Proof of Claim. Let i ≤ m . Since ρ X ( i ) ≥ ρ ∗ and the partition above of X i has k -many elements, there must be at least one, say X j i , with measure ≥ ρ /k ∗ , hence i ∈ I j . /square

$$\text{if $X_{i}^{\nu}$ are included in at most $j_{0}$ members of $\mathcal{K}$, hence} \\ j _ { 0 } \cdot \rho ( X ) \geq j _ { 0 } \cdot \rho ( \bigcup _ { i \in I ^ { j _ { 0 } } } X _ { i } ^ { j _ { 0 } } ) \geq \sum _ { i \in I ^ { j _ { 0 } } } \rho ( X _ { i } ^ { j _ { 0 } } ). \\ \text{re} \, \text{of} \, X \, \mathbb { M } > \frac { 1 } { 2 } \frac { m } { 2 } \frac { \rho ^ { * } } { 2 } > N \, \text{a} ^ { * } \, \text{Since} \ N \in \mathbb { N } \text{ is arbitrary} \, d \mathbb { M }$$

Therefore ρ X ( ) ≥ 1 j 0 m ρ k ∗ k ≥ Nρ ∗ . Since N ∈ N is arbitrary, d X ( ) &gt; β , as required. /square

Under the assumptions of Theorem 6.1.4 and in particular that the set D 0 of dimensions of definable sets is well-ordered, for a type p we can define d p ( ) = Min { d ϕ x ( (¯)) : ϕ x (¯) ∈ p } and put d a/C (¯ ) = d (tp(¯ a/C )). Now write ¯ a ↓ d C B if d a/B (¯ ∪ C ) &lt; d a/C (¯ ).

/negationslash

Proposition 6.1.6. Let M be S -measurable, and satisfy the assumptions and notation of Theorem 6.1.4. If tp(¯ a/B ∪ C ) forks over C then ¯ a ↓ d C B .

We claim that for each i ≤ r , d ϕ ( i (¯ x, b ¯ )) i &lt; d X ( ). To see this, fix i ≤ r . There is an indiscernible sequence (¯ c j : j ∈ ω ) realising tp( ¯ b /C i ) and some k ∈ ω such that the formulas ϕ i (¯ ¯ ) x, c j are k -inconsistent. Let X j be the set of realisations of ϕ i (¯ ¯ ). x, c j Then the X j are k -inconsistent subsets of X with d X ( j ) = d X ( l ) for all j, l ∈ ω , and the proof of Theorem 6.1.4(i) above forces d X ( j ) &lt; d X ( ) for all j . Thus d ϕ ( i ( x, b ¯ )) i &lt; d X ( ), as claimed.

Proof. Suppose that tp(¯ a/B ∪ C ) forks over C . By our assumption that D 0 is well-ordered, there is a C -definable set X containing all realisations of tp(¯ a/C ) with d X ( ) = d a/C (¯ ). Some formula ϕ x/b (¯ ¯ ) in tp(¯ a/B ∪ C ) forks over C , so implies ϕ 1 (¯ x, b ¯ ) 1 ∨ . . . ∨ ϕ r (¯ x, b ¯ ) for some r r , where each ϕ i (¯ x, b ¯ ) i divides over C . We may suppose that ϕ x, b (¯ ¯ ) and the ϕ i (¯ x, b ¯ ) each imply that ¯ i x ∈ X .

Given the claim, it follows that d ϕ ( 1 (¯ x, b ¯ ) 1 ∨ . . . ∨ ϕ r (¯ x, b ¯ )) r &lt; d X ( ), and so ϕ x, b (¯ ¯ ) &lt; d X ( ). The proposition follows. /square

Corollary 6.1.7. Let C be a polynomial m.a.c.. Then any infinite ultraproduct of members of C has supersimple theory.

Proof. This follows from Proposition 5.3.10, Lemma 6.1.3, and Theorem 6.1.4.

/square

Example 6.1.8. In each of the cases in Example 5.3.12 the semiring is a polynomial ring or monomial semiring and the dimension function

d takes values in some well-ordered set. Thus all of these examples are supersimple by Theorem 6.1.4.

- 6.2. Locally well-ordered dimensions. Next, we localise the results in the last subsection to instances of a formula.

Let ϕ x y (¯; ¯) be an L -formula and let L ϕ denote the set of instances of ϕ , i.e. formulas ϕ x c (¯; ¯) for a ¯-tuple of parameters ¯. y c Let ∆ ϕ be the set of finite positive ϕ -types, i.e. conjunctions of instances of ϕ , and put h (∆ ) = ϕ { h p ( ) : p ∈ ∆ ϕ } . For an L -structure M we write Def ϕ ( M ) for the collection of sets in M defined by formulas from ∆ ϕ .

Now let M be an S -measurable structure with generalised measure h , and d : S → D the corresponding dimension function. Suppose for each ϕ that h (∆ ) ϕ / ∼ is well-ordered. We may identify this set with its corresponding ordinal and define d ϕ ( p ) := Min { d h ψ ( ( )) : ψ ∈ p } for all p ∈ ∆ . Likewise, if ϕ X ∈ Def ϕ ( M ) is defined by p ∈ ∆ , then put ϕ d ϕ ( X ) := d ϕ ( p ). The rank D p, ϕ, k ( ) (for partial types p ) is defined in [69, Definition 2.3.4]

Fact 6.2.1. [69, Theorem 2.4.7] A theory T is simple if and only if, for all formulas ϕ and all k &lt; ω , D x (¯ = ¯ x, ϕ, k ) &lt; ω .

Theorem 6.2.2. Suppose that h (∆ ) ϕ / ∼ is well-ordered for each ϕ . Let X ∈ Def ϕ ( M ) . Then D X,ϕ,k ( ) ≤ d ϕ ( X ) .

Proof. The proof is the same as that for Theorem 6.1.4(i). /square

Corollary 6.2.3. Suppose that h (∆ ) ϕ / ∼ is well-ordered for each ϕ . Then M is simple.

We also state a characterisation of stability for a formula, under the assumption that an appropriate set of dimensions is well-ordered. For an L -formula ϕ x y (¯; ¯), let ∆ ∗ ϕ be the set of finite ϕ -types; that is, the set of finite conjunctions of instances of ϕ and their negations.

Theorem 6.2.4. Let M be generalised measurable, let ϕ x, y (¯ ¯) be a formula and suppose that h (∆ ) ∗ ϕ / ∼ is well-ordered. Then the following are equivalent:

- (i) ϕ x, y (¯ ¯) is unstable.
- (ii) There is an N ≡ M and for some A ⊂ N an A -definable set D ⊂ N | ¯ x | and sequence { ¯ a i : i ∈ ω } ⊂ N | ¯ y | indiscernible over A such that d D ( ) = d D ( ∧ ∧ i&lt;k ϕ x, a (¯ ¯ )) i for all k ∈ ω and ρ h D ( ) ( ϕ x, a (¯ ¯ ) i ∧ ϕ x, a (¯ ¯ )) j &lt; ρ h D ( ) ( ϕ x, a (¯ ¯ )) i for all i &lt; j .
- (iii) ϕ x, y (¯ ¯) has the independence property.

Proof. The proof is essentially the same as that of [30, Proposition 3.3], with the well-ordering assumption in place of ( A ∗ ϕ ); we omit the details. /square

Remark 6.2.5. We refer back to Propositions 4.2.8 and 4.2.9 above for the m.e.c. example consisting of the collection C of all finite homocyclic 68

groups ( Z /p n Z ) m where m,n ∈ N &gt; 0 and p is prime. Stability and simplicity properties of ultraproducts can be read off from the formulas for cardinalities of definable sets. In particular, Proposition 4.2.9(ii), in combination with Theorems 4.2.3(ii) and 5.3.8, gives examples of ring-measurable stable unsuperstable pseudofinite groups.

Remark 6.2.6. An interesting example of a generalised measurable structure is discussed in [7]. Let M be a structure which is coherent measurable in the sense of [7, Definition 5.3]. This means that M is measurable of SU-rank 1, dimension coincides with SU-rank on definable sets, and M is 'nowhere trivial', a condition which typically follows if M has some algebraic structure. Consider the structure ( M,H M ( )) where H is a predicate for a 'generic' independent subset of M . Then, by [7, Theorem 5.16], ( M,H M ( )) is generalised measurable and the set D of dimensions has order type N × N , lexicographically ordered. In particular the set of dimensions is well-ordered, so ( M,H M ( )) is supersimple, as already follows from [6].

- 6.3. Quasifinite fields. In this section we adapt the main result of [66] to the context of generalised measurable fields.

Definition 6.3.1. A field K is quasifinite if it is perfect and G K := Aut( K alg /K ) = ∼ Z .

̂ Definition 6.3.2. A strong ordered Euler characteristic on a field K is a function

$$\chi & \colon \text{Def} ( K ) \to R _ { \geq 0 } \\ \dots \dots \dots D \dashv \dashv \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \end{array}$$

- (i) χ X ( ) = χ Y ( ) if X and Y are definably isomorphic;

into a partially-ordered ring R such that for all X,Y ∈ Def( K ):

- (ii) χ X ( × Y ) = χ X ( ) · χ Y ( );
- (iv) if f : X → Y is a definable function such that c = χ f ( -1 ( { y } )) for every y ∈ Y , then χ X ( ) = c · χ Y ( ).
- (iii) χ X ( ∪ Y ) = χ X ( ) + χ Y ( ) if X and Y are disjoint;

The Euler characteristic is nontrivial if 0 &lt; 1 in R and the image of χ is not { } 0 .

Theorem 6.3.3. (Theorem 1, [66]) Any field admitting a nontrivial strong ordered Euler characteristic is quasifinite.

Note that a generalised measurable field need not admit a nontrivial strong ordered Euler characteristic: In the definition above R is a ring whereas the definition of a generalized measurable structure uses a semiring. However, we can adjust the proof of Theorem 5.18 of [57] to the generalised measurable context to obtain the following theorem.

Theorem 6.3.4. Let K be a generalised measurable field. Then K is quasifinite.

Proof. For convenience, we may assume by Theorem 5.1.14 that the measuring function for K takes values in a monomial semiring (see Example 5.1.13). We note that K is perfect by a simple measure argument. For the rest, the proof of Theorem 5.18 of [57] easily adapts: Dimension in D serves as a proxy for S 1 rank, and for disjoint sets of the same dimension, (relative) measure is additive, as is apparent from the definition of a monomial semiring. We omit further details. /square

## 7. Further Observations

The examples of m.e.c.s in Section 4 have ultraproducts which are smoothly approximable, or are modules, or are graphs of bounded degree (or at least have Gaifman graph of bounded degree), or are uncountably categorical pseudofinite. All such structures are simple and one-based in the sense of [46, Definition 5.5.14]. This suggests the following question.

Problem 7.0.1. Find an example of a m.e.c. with an ultraproduct which does not have simple theory. Must it have NSOP 1 theory? If the ultraproduct has simple theory, must it be one-based?

Related to the distinction between m.a.c.s and m.e.c.s, we ask:

Question 7.0.2. Are there model-theoretic consequences of adjusting the error term o h ( π ( M )) in the definition of an R -m.a.c. for certain R (e.g. for polynomial R -m.a.c.s)?

We find the conjecture below from Section 4 particularly appealing.

## Conjecture 7.0.3.

- (i) Let M be a homogeneous structure over a finite relational language L . Then there is an m.e.c. with ultraproduct elementarily equivalent to M if and only if M is stable.
- (ii) Let C be an m.e.c. and let M be an unstable homogeneous structure over a finite relational language. Then M is not elementarily equivalent to any structure interpretable in an ultraproduct of C .

The above conjecture leads to natural questions, for a given finite relational language L , concerning finite L -structures without any symmetry assumption but with arbitrarily high levels of combinatorial regularity; for example with the 5-regularity and 3-tuple regularity mentioned respectively in parts (ii) and (v) of the proof of Theorem 4.1.6. Such issues are considered also in [34], with connections mentioned to the Weisfeiler-Leman algorithm for graph isomorphism. It would be interesting to explore such notions further, for arbitrary finite relational languages, in the spirit of Lachlan's shrinking and stretching theory for finite homogeneous structures, cf. [49]. (The structure theory in the latter depends on the existence of a bound - dependent only on L - on a certain rank for finite homogeneous L -structures; the existence

of this bound was verified in [17], using substantial finite group theory, though a somewhat shorter proof is given in the binary case in [50].) More precisely:

Problem 7.0.4. Let L be a finite relational language. We say that the class C of finite L -structures is eventually regular if the following hold:

- (i) For each L -formula ϕ y (¯) there is a quantifier-free L -formula ψ y (¯) such that all but finitely many M ∈ C satisfy M | = ∀ ¯( y ϕ y (¯) ↔ ψ y (¯)).
- (ii) There is a function f L : N → N such that for any n ∈ N , any quantifier-free formula ϕ x, y ( ¯) with | ¯ y | = n , and any ¯ a ∈ M n where M ∈ C has size at least f L ( n ), the size of ϕ M,a ( ¯) depends only on the quantifier-free type of ¯. a

Show that Lachlan's shrinking and stretching theory from [49] applies to eventually regular classes. In particular, show that all but finitely many members of such C are homogeneous.

Cameron's result at the end of [11], cited above in the proof of Theorem 4.1.6(ii), yields that this holds for finite graphs even without assumption (i). Likewise, by [34], it holds (without assumption (i) above) for finite graphs expanded by unary predicates. Ainslie [2] has extensive partial results in this direction for finite structures in a language with three symmetric irreflexive binary relations such that every pair of distinct vertices satisfies exactly one relation. Ainslie also proves Conjecture 7.0.3(i) for several other homogeneous structures, namely the universal metrically homogeneous graph of any fixed finite diameter, the universal homogeneous two-graph, and the 'semifree' binary structures listed by Cherlin in the appendix of [18].

## Question 7.0.5.

- (i) Is there a weak m.e.c. with an ultraproduct elementarily equivalent to the random graph?
- (ii) Is there a m.e.c. with an ultraproduct elementarily equivalent to the random (i.e. universal homogeneous) digraph? Or to the random 3-uniform hypergraph?

Question 7.0.6. Clarify the model-theoretic implications of ring-measurability (as a strengthening of generalised measurability). For example, does it imply simplicity of the theory? Also, is there a ring-measurable structure that is not pseudofinite? Is there an infinite ring-measurable field? Is every ring-measurable group soluble-by-finite?

Problem 7.0.7. Clarify the connections between m.a.c.s and m.e.c.s and the Hrushovski-Wagner notion of pseudofinite dimension ([38, 39]). In particular, clarify the connections to the key concepts of [30]. For example, what natural conditions on a m.a.c. ensure that any ultraproduct (in the appropriate extended language) satisfies conditions such as

(SA), (DC), and (FMV) from [30]. There are some results of this kind in [1], building on Theorem 4.3.2.

In this direction, we note the following result. For the definitions in (i), see [30].

## Proposition 7.0.8. Let C be a polynomial m.a.c..

- (i) Any infinite ultraproduct of members of C satisfies (SA), (DC L ), (MD ). L
- (ii) Tao's Algebraic Regularity Lemma (as expressed in [30, Theorem 6.4] ) holds for graphs uniformly definable in members of C .

Proof. (i) (SA) holds essentially by Lemma 6.1.3, and (DC L ) and (MD L ) follow from definability of generalised measure.

- (ii) This follows from [30, Theorem 6.4].

/square

By Proposition 6.5 of [24] (see [44]) every stable measurable structure is one-based. This suggests the following question.

Question 7.0.9. Is every stable generalised measurable structure onebased?

Note that every generalised measurable strongly minimal set is measurable by Proposition 5.2.8, and so is one-based.

We say that a homogeneous structure is free homogeneous if its age is a free amalgamation class. The first author has shown in [3] that any free homogeneous structure is generalised measurable; in particular the universal homogeneous triangle-free graph is generalised measurable even though it does not have supersimple theory so is not MSmeasurable. As another example, let M be the universal homogeneous tetrahedron-free 3-hypergraph (so determined by the minimal forbidden configuration of 4-set all of whose 3-subsets are edges). Then M is supersimple of SU-rank 1 and even one-based, and not MS-measurable (see [58, Theorem 7.3.9]), but is generalised measurable as it is freehomogeneous. The corresponding measuring semiring has infinite descending chains of dimensions. In light of Theorem 6.1.4, we ask

Question 7.0.10. Is the universal homogeneous tetrahedron-free 3hypergraph generalised measurable with a measuring semiring having well-ordered dimensions?

Section 6.3 suggests the following question.

## Question 7.0.11. Must generalised measurable fields be PAC?

Finally, we remark that Evans [26] and Marimon [59] have recently shed further light on the content of MS-measurability, finding connections to n -amalgamation, and developing new methods for showing structures are not MS-measurable. It would be interesting to explore whether these methods apply to generalised measurability.

## Acknowledgements

The authors would like to thank Charlotte Kestner for a useful conversation regarding the proof of Theorem 4.2.3, and Dar´ ıo Garc´ ıa for several helpful conversations. They would also like to thank Bethany Marsh and William Crawley-Boevey for very helpful discussions on the representation theory of quivers of finite representation type.

## References

- [1] Alexander van Abel, Counting in uncountably categorical pseudofinite structures. arXiv preprint math/2103.03276 , 2021.
- [2] Rory Ainslie, Definable sets in finite structures. PhD thesis, University of Leeds, 2022.
- [3] Sylvy Anscombe. Free homogeneous structures are generalised measurable. Manuscript , 2016.
- [4] Sylvy Anscombe and Charlotte Kestner, Independence in the theory of bilinear forms. Manuscript , 2016.
- [5] Ricardo Bello Aguirre, Model theory of finite and pseudofinite rings. PhD thesis, University of Leeds, 2016.
- [6] Alexander Berenstein and Evgueni Vassiliev, Geometric structures with a dense independent subset. Selecta Math. , 22,(1): 191-225, 2016.
- [7] Alexander Berenstein, Dar´ ıo Garc´ ıa, and Tingxiang Zou. Dimension and measure in pseudofinite H-structures. arXiv preprint math/2009.07331 , 2020.
- [8] Joseph Bernstein, Israel M. Gel'fand, V.A. Ponomarev, Coxeter functors and Gabriel's theorem. Uspekhi Mat. Nauk. , 38(2): 19-33, 1973. ( Russian Math. Surveys 38(2): 17-32, 1973.)
- [9] B´ ela Bollob´s, a Random graphs , 2nd edition. Cambridge University Press, Cambridge, 2001.
- [10] Elena I. Bunina and Aleksander V. Mikhal¨ ev, Elementary properties of linear groups and related problems. Journal of Mathematical Sciences (New York) , 123(2): 3921-3985, 2004.
- [11] Peter J. Cameron. 6-transitive graphs. Journal of Combinatorial Theory Ser. B , 28: 168-179, 1980.
- [12] Alan R. Camina and Rachel D. Camina. The influence of conjugacy class sizes on the structure of finite groups: a survey. Asian-European Journal of Mathematics , 4(4): 559-588, 2011.
- [13] Zo´ e Chatzidakis, Model theory of finite fields and pseudo-finite fields, Annals of Pure and Applied Logic , 88: 95-108, 1997.
- [14] Zo´ e Chatzidakis, Lou van den Dries, and Angus J. Macintyre. Definable sets over finite fields. J. reine angew. Math. , 427: 107-135, 1992.
- [15] Zo´ e Chatzidakis and Anand Pillay. Generic structures and simple theories. Annals of Pure and Applied Logic 95: 71-92, 1998.
- [16] Gregory L. Cherlin, Leo Harrington, and Alistair H. Lachlan. ℵ 0 -categorical, ℵ 0 -stable structures. Ann. Pure Appl. Logic , 28(2): 103-135, 1985.
- [17] Gregory L. Cherlin and Alistair H. Lachlan. Stable finitely homogeneous structures. Trans. Amer. Math. Soc. , 296(2): 815-850, 1986.
- [18] Gregory L. Cherlin. The classification of countable homogeneous directed graphs and countable homogeneous n -tournaments. Mem. Amer. Math. Soc. 131(621): 1998.

| [19]   | Gregory L. Cherlin and Ehud Hrushovski. Finite Structures with Few Types . Annals of Mathematics Studies, Number 152. Princeton University Press, Princeton, 2003.                                                                                            |
|--------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [20]   | Artem Chernikov and Nadja Hempel. On n -dependent groups and fields III, Manuscript , 2016.                                                                                                                                                                   |
| [21]   | Artem Chernikov and Nicholas Ramsey. On model-theoretic tree properties, Journal of Mathematical Logic , 16(2): 1650009, 2016.                                                                                                                                |
| [22]   | William Crawley-Boevey. Rigid integral representations of quivers, Representa- tion theory of algebras (Cocoyoc, 1994) , 155-163, CMS Conf. Proc., 18, Amer. Math. Soc., Providence, 1996.                                                                    |
| [23]   | Hans-Dieter Ebbinghaus and J¨rg o Flum. Finite model theory , 2nd edition. Perspectives in Mathematical Logic Springer-Verlag, Berlin, 1999.                                                                                                                  |
| [24]   | Richard Elwes. Asymptotic classes of finite structures. J. Symb. Logic , 72(2): 418-438, 2007.                                                                                                                                                                |
| [25]   | Richard Elwes and Dugald Macpherson. A survey of asymptotic classes and measurable structures, Model theory with applications to algebra and analysis . 125-159, London Mathematical Society Lecture Note Series, 350(2), Cam- bridge University Press, 2008. |
| [26]   | David Evans Higher amalgamation properties in measured structures, Model Theory , 2 (2023), no. 2, 233-253.                                                                                                                                                   |
| [27]   | Ulrich Felgner. On ℵ 0 -categorical extra-special p -groups. Logique et Analyse , 18(71-72): 408-428, 1975.                                                                                                                                                   |
| [28]   | P. Gabriel. Unzerlegbare Darstellungen I, Manuscripta Math. , 6: 71-103, 1972.                                                                                                                                                                                |
| [29]   | Haim Gaifman. On local and non-local properties. Proceedings of the Herbrand Symposium, Logic Colloquium '81 , 105-135, Studies in Logic and the Founda- tions of Mathematics, 107, North-Holland, Amsterdam, 1982.                                           |
| [30]   | Dar´o ı Garc´a, ı Dugald Macpherson, and Charles Steinhorn. Pseudofinite Struc- tures and Simplicity, J. Mathematical Logic , 15(1): 1550002, 2015.                                                                                                           |
| [31]   | Dar´o ı Garc´a ı and Frank Wagner. Unimodularity unified. J. Symbolic Logic , 82(3): 1051-1065, 2017.                                                                                                                                                         |
| [32]   | Nicolas Granger, Stability, simplicity, and the model theory of bilinear forms , PhD thesis, University of Manchester, 1999.                                                                                                                                  |
| [33]   | Nate Harman and Andrew Snowden. Ultrahomogeneous tensor spaces. arXiv preprint math/2207.09626v1 , 2022.                                                                                                                                                      |
| [34]   | Irene Heinrich, Thomas Schneider, and Pascal Schweitzer, Classification of fi- nite highly regular vertex-coloured graphs, arXiv preprint math/2012.01058v2 , 2021.                                                                                           |
| [35]   | Graham Higman. Ordering by divisibility in abstract algebras. Proc. London Math. Soc. (3) , 2: 326-336, 1952.                                                                                                                                                 |
| [36]   | Wilfrid Hodges. Model theory. Cambridge University Press, Cambridge, 1993.                                                                                                                                                                                    |
| [37]   | Ehud Hrushovski, Unimodular minimal structures. J. London Math. Soc. (2) , 46(3): 385-396, 1992.                                                                                                                                                              |
| [38]   | Ehud Hrushovski and Frank Wagner. Counting and dimensions, Model theory with applications to algebra and analysis Vol. 2. , 161-176, London Math. Soc. Lecture Note Series, 350, Cambridge Univ. Press, Cambridge, 2008.                                      |
| [39]   | Ehud Hrushovski. On pseudo-finite dimensions. Notre Dame J. Formal Logic , 54(3-4): 463-495, 2013.                                                                                                                                                            |
| [40]   | Ehud Hrushovski. Stable group theory and approximate subgroups. J. Amer. Math. Soc. , 25:189-243, 2012.                                                                                                                                                       |
| [41]   | Itay Kaplan and Nicholas Ramsey. On Kim-independence. J. European Math. Soc. , 22(5): 1423-1474, 2020.                                                                                                                                                        |

- [42] William M. Kantor, Martin W. Liebeck and Dugald Macpherson. ℵ 0 -categorical structures smoothly approximated by finite structures. Proc. London Math. Soc. , 59:439-463, 1989.
- [43] Thomas M. Keller. Derived length and conjugacy class sizes. Advances in Math. , 199(1): 88-103, 2006.
- [44] Charlotte Kestner and Anand Pillay. Remarks on unimodularity. J. Symbolic Logic , 76(4): 1453-1458, 2011.
- [45] Charlotte Kestner. Measurability in modules, Arch. Math. Logic , 53: 593-620, 2014.
- [46] Byunghan Kim. Simplicity Theory. Oxford Logic Guides 53, Oxford University Press, Oxford, 2014.
- [47] Jan Krajicek. Uniform families of polynomial equations over a finite field and structures admitting an Euler characteristic of definable sets. Proc. London Math. Soc. , 81: 257-284, 2000.
- [48] Jan Krajicek and Thomas Scanlon. Combinatorics with definable sets: Euler characteristics and Grothendieck rings. Bull. Symbolic Logic , 6(3): 311-330, 2000.
- [49] Alistair H. Lachlan. On countable stable structures which are homogeneous for a finite relational language. Israel J. Math. , 49(1-3): 69-153, 1984.
- [50] Alastair H. Lachlan and Saharon Shelah. Stable structures homogeneous for a finite relational language Isr. J. Math. 49(1-3): 155-180, 1984.
- [51] Alistair H. Lachlan. Countable homogeneous tournaments. Trans. Amer. Math. Soc. , 284(2): 431-461, 1984.
- [52] Alistair H. Lachlan and Robert E. Woodrow. Countable homogeneous undirected graphs. Trans. Amer. Math. Soc. , 262(1): 51-94, 1980.
- [53] Serge Lang and Andr´ e Weil. Number of points of varieties in finite fields. Amer. J. Math. , 76: 819-827, 1954.
- [54] Martin W. Liebeck and Aner Shalev. Diameters of finite simple groups: sharp bounds and applications. Ann. Math. (2) , 154: 383-406, 2001.
- [55] Dugald Macpherson. A survey of homogeneous structures. Discrete Math. , 311: 1599-1634, 2011.
- [56] Dugald Macpherson. Model theory of finite and pseudofinite groups. Arch. Math. Logic , 57: 159-184, 2018.
- [57] Dugald Macpherson and Charles Steinhorn. One-dimensional asymptotic classes of finite structures. Trans. Amer. Math. Soc. , 360: 411-448, 2008.
- [58] Paolo Marimon, Measures and amalgamation properties in ω -categorical structures. PhD Thesis, Imperial College London, 2023.
- [59] Paolo Marimon, Invariant Keisler measures for omega-categorical structures arXiv:2211.14628
- [60] C´ edric Milliet. Definable envelopes in groups having a simple theory. J. Algebra , 492: 298-323, 2017.
- [61] Crispin St. J. A. Nash-Williams. On well-quasi-ordering finite trees. Proc. Camb. Philos. Soc. 59: 833-835, 1963.
- [62] Anand Pillay. Strongly minimal pseudofinite structures. arXiv preprint math/1411.5008v2 , 2014.
- [63] N. Ramsey. Personal communication , July 2024.
- [64] C.M. Ringel, Representation theory of Dynkin quivers. Three contributions. Front. Math. China 11(4): 765-814, 2016.
- [65] Mark J. Ryten, Model theory of finite difference fields and simple groups . PhD thesis, University of Leeds, 2007.
- [66] Thomas Scanlon. Fields admitting ordered nontrivial strong Euler characteristics are quasifinite. Unpublished note.

| [67]                                                                                                                                            | Balasubramanian Sury. Elliptic curves over finite fields. Elliptic curves, modu- lar forms and cryptography (Allahabad 2000) , 33-47, Hindustan Book Agency, New Delhi, 2003.   |
|-------------------------------------------------------------------------------------------------------------------------------------------------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [68]                                                                                                                                            | Katrin Tent and Martin Ziegler. A course in model theory . Lecture Notes in Logic vol. 40., Cambridge University Press, Cambridge, 2012.                                        |
| [69]                                                                                                                                            | Frank Wagner. Simple Theories . Mathematics and its Applications, Kluwer, Dordrecht, 2000.                                                                                      |
| [70]                                                                                                                                            | Frank Wagner. Dimensional groups and fields. J. Symbolic Logic , 85(3): 918- 936, 2020.                                                                                         |
| [71]                                                                                                                                            | John S. Wilson. First-order characterization of the radical of a finite group. J. Symbolic Logic , 74(4): 1429-1435, 2009.                                                      |
| [72]                                                                                                                                            | D.L. Winter. The automorphism group of an extraspecial p -group. Rocky Mountain Journal of Mathematics , 2(2): 159-168, 1972.                                                   |
| [73]                                                                                                                                            | Daniel Wolf. Multidimensional exact classes, smooth approximation and bounded 4-types. J. Symbolic Logic 85(4): 1305-1341, 2020.                                                |
| [74]                                                                                                                                            | D. Wolf, Model theory of multidimensional asymptotic classes , PhD thesis, University of Leeds, 2016.                                                                           |
| Universit´ e Paris Cit´ e and Sorbonne Universit´, e CNRS, IMJ-PRG, F-75013 Paris, France Email address : sylvy.anscombe@imj-prg.fr             | Universit´ e Paris Cit´ e and Sorbonne Universit´, e CNRS, IMJ-PRG, F-75013 Paris, France Email address : sylvy.anscombe@imj-prg.fr                                             |
| School of Mathematics, University of Leeds, Leeds LS2 9JT, United Kingdom                                                                       | School of Mathematics, University of Leeds, Leeds LS2 9JT, United Kingdom                                                                                                       |
| Email address : h.d.macpherson@leeds.ac.uk                                                                                                      | Email address : h.d.macpherson@leeds.ac.uk                                                                                                                                      |
| Department of Mathematics & Statistics, Vassar College, 124 Ray- mond Avenue, Poughkeepsie, New York 12604 Email address : steinhorn@vassar.edu | Department of Mathematics & Statistics, Vassar College, 124 Ray- mond Avenue, Poughkeepsie, New York 12604 Email address : steinhorn@vassar.edu                                 |
| Formerly of the School of Mathematics, University of Leeds, Leeds                                                                               | Formerly of the School of Mathematics, University of Leeds, Leeds                                                                                                               |
| LS2 9JT, United Kingdom Email address : dwolfeu@gmail.com                                                                                       | LS2 9JT, United Kingdom Email address : dwolfeu@gmail.com                                                                                                                       |
Sylvy Anscombe Dugald Macpherson Charles Steinhorn Daniel Wolf
Multidimensional asymptotic classes
We develop a general framework (multidimensional asymptotic classes, or
m.a.c.s) for handling classes of finite first order structures with a strong
uniformity condition on cardinalities of definable sets: The condition asserts
that definable families given by a formula \phi(x,y) should take on a fixed
number n_\phi of approximate sizes in any M in the class, with those sizes
varying with M. The prototype is the class of all finite fields, where the
uniformity is given by a theorem of Chatzidakis, van den Dries and Macintyre.
It inspired the development of asymptotic classes of finite structures, which
this new framework extends.
  The underlying theory of m.a.c.s is developed, including preservation under
bi-interpretability, and a proof that for the m.a.c. condition to hold it
suffices to consider formulas \phi(x,y) with x a single variable. Many examples
of m.a.c.s are given, including 2-sorted structures (F,V) where V is a vector
space over a finite field F possibly equipped with a bilinear form, and an
example arising from representations of quivers of finite representation type.
We also give examples and structural results for multidimensional exact classes
(m.e.c.s), where the definable sets take a fixed number of precisely specified
cardinalities, which again vary with M.
  We also develop a notion of infinite generalised measurable structure,
whereby definable sets are assigned values in an ordered semiring. We show that
any infinite ultraproduct of a m.a.c. is generalised measurable, that values
can be taken in an ordered ring if the m.a.c. is a m.e.c., and explore
model-theoretic consequences of generalised measurability. Such a structure
cannot have the strict order property, and stability-theoretic properties can
be read off from the measures in the semiring.