Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1518

Preprint Number 1518

Previous Next Preprint server

1518. Alex Kruckman, Minh Chieu Tran, Erik Walsberg
Interpolative Fusions

Submission date: 14 November 2018


We define the interpolative fusion of multiple theories over a common reduct, a notion that aims to provide a general framework to study model-theoretic properties of structures with randomness. In the special case where the theories involved are model complete, their interpolative fusion is precisely the model companion of their union. Several theories of model-theoretic interest are shown to be canonically bi-interpretable with interpolative fusions of simpler theories. We initiate a systematic study of interpolative fusions by also giving general conditions for their existence and relating their properties to those of the individual theories from which they are built.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1811.06108: pdf, ps.

Last updated: March 23 2021 10:21 Please send your corrections to: