Generic Expansions by a Reduct
Abstract
Consider the expansion $T_S$ of a theory $T$ by a predicate for a submodel of a reduct $T_0$ of $T$. We present a setup in which this expansion admits a model companion $TS$. We show that the nice features of the theory $T$ transfer to $TS$. In particular, we study conditions for which this expansion preserves the $\NSOP{1}$-ness, the simplicity or the stability of the starting theory $T$. We give concrete examples of new $\NSOP{1}$ not simple theories obtained by this process, among them the expansion of a perfect $\omega$-free $\PAC$ field of positive characteristic by generic additive subgroups, and the expansion of an algebraically closed field of \emph{any} characteristic by a generic multiplicative subgroup.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2018
- DOI:
- 10.48550/arXiv.1810.11722
- arXiv:
- arXiv:1810.11722
- Bibcode:
- 2018arXiv181011722D
- Keywords:
-
- Mathematics - Logic