Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.695968
Title: Model theory of multidimensional asymptotic classes
Author: Wolf, Daniel Anthony
Awarding Body: University of Leeds
Current Institution: University of Leeds
Date of Award: 2016
Availability of Full Text:
Access from EThOS:
Access from Institution:
Abstract:
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.
Supervisor: Macpherson, H. Dugald Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.695968  DOI: Not available
Share: