Interpolative Fusions I

Abstract

We define the interpolative fusion $T^*_\cup$ of a family $(T_i)_{i \in I}$ of first-order theories over a common reduct $T_\cap$, a notion that generalizes many examples of random or generic structures in the model-theoretic literature. When each $T_i$ is model-complete, $T^*_\cup$ coincides with the model companion of $T_\cup = \bigcup_{i \in I} T_i$. By obtaining sufficient conditions for the existence of $T^*_\cup$, we develop new tools to show that theories of interest have model companions.