Cet exposé essayera de donner une vision d'ensemble des différentes choses connu à ce jour sur les expansions du groupes des entiers (Z,+,0) avec un accent sur les expansions dp-minimales. En particulier les deux structures (Z,+,0,
All fields under discussion here are assumed to have finite characteristic p. This talk might be seen as a sequel to my survey talk at Françoise Delon's conference in June 2016, although it will not assume familiarity with this talk.Of interest here are two complete theories, namely differentially closed fields (DCF) and separably closed fields (inf-SCF) with infinite degree of imperfection. These theories are related. For example, the underlying field of a model of DCF is a model of inf-SCF, and the constant field is also a model of inf-SCF. […]
A divisible ordered abelian group is an exponential group if its rank as an ordered set is isomorphic to its negative cone. Exponential groups appear as the value groups of ordered exponential fields, and were studied in . In we gave an explicit construction of exponential groups as Hahn groups of series with support bounded in cardinality by an uncountable regular cardinal kappa. An exp-log series s is said to be log atomic if the nth-iterate of log(s) is a monomial for all n in N. In this talk I […]
The class of NSOP_1 theories properly contains the simple theories and is contained in the class of theories without the tree property of the first kind. We will describe a notion of independence called Kim-independence, which corresponds to non-forking independence 'at a generic scale.' In an NSOP_1 theory, Kim-independence is symmetric and satisfies a version of Kim's lemma and the independence theorem. Moreover, these properties of Kim-independence individually characterize NSOP_1 theories. We will talk about what Kim-independence looks like in several concrete examples: parametrized equivalence relations, Frobenius fields, and vector […]
