Interpolative Fusions I

Alex Kruckman, Minh Chieu Tran, Erik Walsberg

We define the interpolative fusion $T_{\cup }^{\ast }$ 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…