Interpolative Fusions I

DOI10.1142/S0219061321500100MaRDI QIDQ6309749arXivFDO

Authors Alex Kruckman, Chieu-Minh Tran, Erik Walsberg

Publication date 14 November 2018

Published in arXiv

Full work available at URL https://doi.org/10.1142/S0219061321500100

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Interpolation, preservation, definability (03C40)

arXiv classification

math.LO

Abstract: We define the interpolative fusion $T_c^{\ast }up$ of a family $(T_i{)}_{iinI}$ of first-order theories over a common reduct $T_{c}ap$, a notion that generalizes many examples of random or generic structures in the model-theoretic literature. When each $T_i$ is model-complete, $T_c^{\ast }up$ coincides with the model companion of $$. By obtaining sufficient conditions for the existence of $T_c^{\ast }up$, we develop new tools to show that theories of interest have model companions.

This page was built for publication: Interpolative Fusions I

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