Interpolative fusions II: Preservation results

Alex Kruckman, Minh Chieu Tran, Erik Walsberg

We study interpolative fusion, a method of combining theories $T_1$ and $T_2$ in distinct languages in a "generic" way over a common reduct $T_{\cap }$, to obtain a theory $T_{\cup }^{\ast }$.…