NIP omega-categorical structures: the rank 1 case

We classify primitive, rank 1, omega-categorical structures having polynomially many types over finite sets. For a fixed number of 4-types, we show that there are only finitely many such structures and that all are built out of finitely many linear orders interacting in a restricted number of ways. As an example of application, we deduce the classification of primitive structures homogeneous in a language consisting of n linear orders as well as all reducts of such structures.Comment: Substantial changes made to the presentation, especially in sections 3 and

Model theory of multidimensional asymptotic classes

In this PhD thesis we explore the concept of a multidimensional asymptotic class. This is a new notion in model theory, arising as a generalisation of the Elwes–Macpherson–Steinhorn notion of an N-dimensional asymptotic class [22] and thus ultimately as a development of the Lang–Weil estimates of the number of points of a variety in a finite field [47]. We provide the history and motivation behind the topic before developing its basic theory, paying particular attention to multidimensional exact classes, a special kind of multidimensional asymptotic class where the measuring functions provide the precise sizes of the definable sets, rather than only approximations. We describe a number of examples and non-examples and then show that multidimensional asymptotic classes are closed under bi-interpretability. We use results about smoothly approximable structures [35] and Lie coordinatisable structures [18] to prove the following result, as conjectured by Macpherson: For any countable language L and any positive integer d the class C(L,d) of all finite L-structures with at most d 4-types is a polynomial exact class in L; here a polynomial exact class is a multidimensional exact class with polynomial measuring functions. We finish the thesis by posing some open questions, indicating potential further lines of research