Skip to Main content Skip to Navigation

Pseudofinite structures and counting dimensions

Abstract : This thesis is about the model theory of pseudofinite structures with the focus on groups and fields. The aim is to deepen our understanding of how pseudofinite counting dimensions can interact with the algebraic properties of underlying structures and how we could classify certain classes of structures according to their counting dimensions. Our approach is by studying examples. We treat three classes of structures: The first one is the class of H-structures, which are generic expansions of existing structures. We give an explicit construction of pseudofinite H-structures as ultraproducts of finite structures. The second one is the class of finite difference fields. We study properties of coarse pseudofinite dimension in this class, show that it is definable and integer-valued and build a partial connection between this dimension and transformal transcendence degree. The third example is the class of pseudofinite primitive permutation groups. We generalise Hrushovski's classical classification theorem for stable permutation groups acting on a strongly minimal set to the case where there exists an abstract notion of dimension, which includes both the classical model theoretic ranks and pseudofinite counting dimensions. In this thesis, we also generalise Schlichting's theorem for groups to the case of approximate subgroups with a notion of commensurability
Document type :
Complete list of metadatas
Contributor : Abes Star :  Contact
Submitted on : Wednesday, September 11, 2019 - 11:31:32 AM
Last modification on : Wednesday, July 8, 2020 - 12:43:26 PM
Long-term archiving on: : Saturday, February 8, 2020 - 12:21:16 AM


Version validated by the jury (STAR)


  • HAL Id : tel-02283810, version 1


Tingxiang Zou. Pseudofinite structures and counting dimensions. Logic [math.LO]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSE1083⟩. ⟨tel-02283810⟩



Record views


Files downloads