H-BASIS IN GEOMETRIC STRUCTURES WITH A DENSE/CODENSE INDEPENDENT SUBSET (Model theoretic aspects of the notion of independence and dimension)

We discuss H-basis in geometric structures with a dense/codense independent subset, and algebraic n-gons in geometric structures to calculate the ranks of H-structures in trivial/non-trivial independence of base geometric structures

Structures of SU-rank omega with a dense independentsubset of generics

Extending the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory of SU-rank $\omega$ with a "dense codense" independent collection$H$ of element of rank $\omega$, where density of $H$ means it intersectsany definable set of $SU$-rank omega. We show that under some technical conditions, the class of such structures is first order.We prove that the expansion is supersimple and characterize forking and canonical bases of types in the expansion. We also analyze the effect these expansions have on one-basedness and CM-triviality. In the one-based case, we describe a natural "geometry of generics modulo $H$" associated with such expansions and show it is modular

Generic Automorphisms and Green Fields

We show that the generic automorphism is axiomatisable in the green field of Poizat (once Morleyised) as well as in the bad fields which are obtained by collapsing this green field to finite Morley rank. As a corollary, we obtain "bad pseudofinite fields" in characteristic 0. In both cases, we give geometric axioms. In fact, a general framework is presented allowing this kind of axiomatisation. We deduce from various constructibility results for algebraic varieties in characteristic 0 that the green and bad fields fall into this framework. Finally, we give similar results for other theories obtained by Hrushovski amalgamation, e.g. the free fusion of two strongly minimal theories having the definable multiplicity property. We also close a gap in the construction of the bad field, showing that the codes may be chosen to be families of strongly minimal sets.Comment: Some minor changes; new: a result of the paper (Cor 4.8) closes a gap in the construction of the bad fiel

H-structures and generalized measurable structures

We study H-structures associated to SU-rank one measurable structures. We prove that the SU-rank of the expansion is continuous and that it is uniformly definable in terms of the parameters of the formulas. We also introduce notions of dimension and measure for definable sets in the expansion and prove they are uniformly definable in terms of the parameters of the formulas

Structures pseudo-finies et dimensions de comptage

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 commensurabilityCette thèse porte sur la théorie des modèles des structures pseudo-finies en mettant l’accent sur les groupes et les corps. Le but est d'approfondir notre compréhension des interactions entre les dimensions de comptage pseudo-finies et les propriétés algébriques de leurs structures sous-jacentes, ainsi que de la classification de certaines classes de structures en fonction de leurs dimensions. Notre approche se fait par l'étude d'exemples. Nous avons examiné trois classes de structures. La première est la classe des H-structures, qui sont des expansions génériques. Nous avons donné une construction explicite de H-structures pseudo-finies comme ultraproduits de structures finies. Le deuxième exemple est la classe des corps aux différences finis. Nous avons étudié les propriétés de la dimension pseudo-finie grossière de cette classe. Nous avons montré qu'elle est définissable et prend des valeurs entières, et nous avons trouvé un lien partiel entre cette dimension et le degré de transcendance transformelle. Le troisième exemple est la classe des groupes de permutations primitifs pseudo-finis. Nous avons généralisé le théorème classique de classification de Hrushovski pour les groupes stables de permutations d'un ensemble fortement minimal au cas où une dimension abstraite existe, cas qui inclut à la fois les rangs classiques de la théorie des modèles et les dimensions de comptage pseudo-finies. Dans cette thèse, nous avons aussi généralisé le théorème de Schlichting aux sous-groupes approximatifs, en utilisant une notion de commensurabilit

Immediately algebraically closed fields

We consider two overlapping classes of fields, IAC and VAC, which are defined using valuation theory but which do not involve a distinguished valuation. Rather, each class is defined by a condition that quantifies over all possible valuations on the field. In his thesis, Hong asked whether these two classes are equal (Hong, 2013, Question 5.6.8). In this paper, we give an example that negatively answers Hong's question. We also explore several situations in which the equivalence does hold with an additional assumption, including the case where every $K'\equiv K$ is IAC.Comment: 12 pages, based on results from a chapter of the author's thesis, under the supervision of Professor Deirdre Haskel