Abstract

This thesis is concerned with the expansions of algebraic structures and their fit in Shelah’s classification landscape.The first part deals with the expansion of a theory by a random predicate for a substructure model of a reduct of the theory. Let T be a theory in a language $\mathcal {L}$. Let $T_0$ be a reduct of T. Let $\mathcal {L}_S = \mathcal {L}\cup \{S\}$, for S a new unary predicate symbol, and $T_S$ be the $\mathcal {L}_S$ -theory that axiomatises the following structures: $$ consist of a model $\mathscr {M}$ of T and S is a predicate for a model $\mathscr {M}_0$ of $T_0$ which is a substructure of $\mathscr {M}$. We present a setting for the existence of a model-companion $TS$ of $T_S$. As a consequence, we obtain the existence of the model-companion of the following theories, for $p>0$ a prime number: • $\mathrm {ACF}_p$, $\mathrm {SCF}_{e,p}$, $\mathrm {Psf}_p$, $\mathrm {ACFA}_p$, $\mathrm {ACVF}_{p,p}$ in appropriate languages expanded by arbitrarily many predicates for additive subgroups;• $\mathrm {ACF}_p$, $\mathrm {ACF}_0$ in the language of rings expanded by a single predicate for a multiplicative subgroup;• $\mathrm {PAC}_p$ -fields, in an appropriate language expanded by arbitrarily many predicates for additive subgroups.From an independence relation in T, we define independence relations in $TS$ and identify which properties of are transferred to those new independence relations in $TS$, and under which conditions. This allows us to exhibit hypotheses under which the expansion from T to $TS$ preserves $\mathrm {NSOP}_{1}$, simplicity, or stability. In particular, under some technical hypothesis on T, we may draw the following picture : Configuration $T_0\subseteq T$ Generic expansion $TS$ $T_0 = T$ Preserves stability $T_0\subseteq T$ Preserves $\mathrm {NSOP}_{1}$ $T_0 = \emptyset $ Preserves simplicityIn particular, this construction produces new examples of $\mathrm {NSOP}_{1}$ not simple theories, and we study in depth a particular example: the expansion of an algebraically closed field of positive characteristic by a generic additive subgroup. We give a full description of imaginaries, forking, and Kim-forking in this example.The second part studies expansions of the group of integers by p-adic valuations. We prove quantifier elimination in a natural language and compute the dp-rank of these expansions: it equals the number of independent p-adic valuations considered. Thus, the expansion of the integers by one p-adic valuation is a new dp-minimal expansion of the group of integers. Finally, we prove that the latter expansion does not admit intermediate structures: any definable set in the expansion is either definable in the group structure or is able to “reconstruct” the valuation using only the group operation.prepared by Christian d’Elbée.E-mail: [email protected]: https://choum.net/~chris/page_perso.