Simple structures axiomatized by almost sure theories

In this article we give a classification of the binary, simple, $\omega$-categorical structures with SU-rank 1 and trivial pregeometry. This is done both by showing that they satisfy certain extension properties, but also by noting that they may be approximated by the almost sure theory of some sets of finite structures equipped with a probability measure. This study give results about general almost sure theories, but also considers certain attributes which, if they are almost surely true, generate almost sure theories with very specific properties such as $\omega$-stability or strong minimality.Comment: 27 page

Binary simple homogeneous structures are supersimple with finite rank

Suppose that M is an infinite structure with finite relational vocabulary such that every relation symbol has arity at most 2. If M is simple and homogeneous then its complete theory is supersimple with finite SU-rank which cannot exceed the number of complete 2-types over the empty set

Expansions géométriques et ampleur

The main result of this thesis is the study of how ampleness grows in geometric and SU-rank omega structures when adding a new independent dense/codense subset. In another direction, we explore relations of ampleness with equational theories; there, we give a direct proof of the equationality of certain CM-trivial theories. Finally, we study indiscernible closed sets—which are closely related with equations—and measure their complexity in the free pseudoplaneLe résultat principal de cette thèse est l'étude de l'ampleur dans des expansions des structures géométriques et de SU-rang oméga par un prédicat dense/codense indépendant. De plus, nous étudions le rapport entre l'ampleur et l'équationalite, donnant une preuve directe de l'équationalite de certaines théories CM-triviales. Enfin, nous considérons la topologie indiscernable et son lien avec l'équationalite et calculons la complexité indiscernable du pseudoplan libr

Forking in simple theories and CM-triviality

[cat] Aquesta tesi té tres objectius. En primer lloc, estudiem generalitzacions de la jerarquia no ample relatives a una família de tipus parcials. Aquestes jerarquies en permeten classificar la complexitat del “forking” respecte a una família de tipus parcials. Si considerem la família de tipus algebraics, aquestes generalitzacions corresponen a la jerarquia ordinària, on el primer i el segon nivell corresponen a one-basedness i a CM-trivialitat, respectivament. Fixada la família de tipus regulars “no one-based”, el primer nivell d'una d'aquestes possibles jerarquies no ample ens diu que el tipus de la base canònica sobre una realització és analitzable en la família. Demostrem que tota teoria simple amb suficients tipus regulars pertany al primer nivell de la jerarquia dèbil relativa a la família de tipus regulars no one-based. Aquest resultat generalitza una versió dèbil de la “Canonical Base Property” estudiada per Chatzidakis i Pillay. En segon lloc, discutim problemes d'eliminació de hiperimaginaris assumint que la teoria és CM-trivial, en tal cas la independència del “forking” té un bon comportament. Més concretament, demostrem que tota teoria simple CM-trivial elimina els hiperimaginaris si elimina els hiperimaginaris finitaris. En particular, tota teoria petita simple CM-trivial elimina els hiperimaginaris. Cal remarcar que totes les teories omega-categòriques simples que es coneixen són CM-trivials; en particular, aquelles teories obtingudes mitjançant una construcció de Hrushovski. Finalment, tractem problemes de classificació en les teories simples. Estudiem la classe de les teories simples baixes; classe que inclou les teories estables i les teories supersimples de D-rang finit. Demostrem que les teories simples amb pes finit acotat també pertanyen a aquesta classe. A més, provem que tota teoria omega-categòrica simple CM-trivial és baixa. Aquest darrer fet resol parcialment una pregunta formulada per Casanovas i Wagner.[eng] The development of first-order stable theories required two crucial abstract notions: forking independence, and the related notion of canonical base. Forking independence generalizes the linear independence in vector spaces and the algebraic independence in algebraically closed fields. On the other hand, the concept of canonical base generalizes the field of definition of an algebraic variety. The general theory of independence adapted to simple theories, a class of first-order theories which includes all stable theories and other interesting examples such as algebraically closed fields with an automorphism and the random graph. Nevertheless, in order to obtain canonical bases for simple theories, the model-theoretic development of hyperimaginaries --equivalence classes of arbitrary tuple modulo a type-definable (without parameters) equivalence relation-- was required. In the present thesis we deal with topics around the geometry of forking in simple theories. Our first goal is to study generalizations of the non ample hierarchy which will code the complexity of forking with respect to a family of partial types. We introduce two hierarchies: the non (weak) ample hierarchy with respect to a fixed family of partial types. If we work with respect to the family of bounded types, these generalizations correspond to the ordinary non ample hierarchy. Recall that in the ordinary non ample hierarchy the first and the second level correspond to one-basedness and CM-triviality, respectively. The first level of the non weak ample hierarchy with respect to some fixed family of partial types states that the type of the canonical base over a realization is analysable in the family. Considering the family of regular non one-based types, the first level of the non weak ample hierarchy corresponds to the weak version of the Canonical Base Property studied by Chatzidakis and Pillay. We generalize Chatzidakis' result showing that in any simple theory with enough regular types, the canonical base of a type over a realization is analysable in the family of regular non one-based types. We hope that this result can be useful for the applications; for instance, the Canonical Base Property plays an essential role in the proof of Mordell-Lang for function fields in characteristic zero and Manin-Mumford due to Hrushovski. Our second aim is to use combinatorial properties of forking independence to solve elimination of hyperimaginaries problems. For this we assume the theory to be simple and CM-trivial. This implies that the forking independence is well-behaved. Our goal is to prove that any simple CM-trivial theory which eliminates finitary hyperimaginaries --hyperimaginaries which are definable over a finite tuple-- eliminates all hyperimaginaries. Using a result due to Kim, small simple CM-trivial theories eliminate hyperimaginaries. It is worth mentioning that all currently known omega-categorical simple theories are CM-trivial, even those obtained by an ab initio Hrushovski construction. To conclude, we study a classification problem inside simple theories. We study the class of simple low theories, which includes all stable theories and supersimple theories of finite D-rank. In addition, we prove that it also includes the class of simple theories of bounded finite weight. Moreover, we partially solve a question posed by Casanovas and Wagner: Are all omega-categorical simple theories low? We solve affirmatively this question under the assumption of CM-triviality. In fact, our proof exemplifies that the geometry of forking independence in a possible counterexample cannot come from finite sets

Model Theory: groups, geometry, and combinatorics

This conference was about recent interactions of model theory with combinatorics, geometric group theory and the theory of valued fields, and the underlying pure model-theoretic developments. Its aim was to report on recent results in the area, and to foster communication between the different communities