Interpolative fusions II: Preservation results

Authors Alex Kruckman, Minh Chieu Tran, Erik Walsberg

Publication date 10 January 2022

Abstract: 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_{c} a p

, to obtain a theory

T_{c} u p^{*}

. When each

T_{i}

is model-complete,

T_{c} u p^{*}

is the model companion of the union

T_{1} c u p T_{2}

. Our goal is to prove preservation results, i.e., to find sufficient conditions under which model-theoretic properties of

T_{1}

and

T_{2}

are inherited by

T_{c} u p^{*}

. We first prove preservation results for quantifier elimination, model-completeness, and related properties. We then apply these tools to show that, under mild hypotheses, including stability of

T_{c} a p

, the property

m a t h r m {N S O P}_{1}

is preserved. We also show that simplicity is preserved under stronger hypotheses on algebraic closure in

T_{1}

and

T_{2}

. This generalizes many previous results; for example, simplicity of

m a t h r m A C F A

and the random

n

-hypergraph are both non-obvious corollaries. We also address preservation of stability,

m a t h r m N I P

, and

a l e p h_{0}

-categoricity, and we describe examples which witness that these results are sharp.

This page was built for publication: Interpolative fusions II: Preservation results

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6387903)