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 :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-02283810
Contributor : Abes Star <>
Submitted on : Wednesday, September 11, 2019 - 11:31:32 AM
Last modification on : Thursday, September 19, 2019 - 11:04:26 AM

File

TH2019ZOUTINGXIANG.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02283810, version 1

Citation

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

Share

Metrics

Record views

220

Files downloads

34