Interpolative fusions

IF 0.9 1区数学 Q1 LOGIC

Journal of Mathematical Logic Pub Date : 2018-11-14 DOI:10.1142/S0219061321500100

Alex Kruckman, Chieu-Minh Tran, Erik Walsberg

引用次数: 9

Abstract

We define the interpolative fusion [Formula: see text] of a family [Formula: see text] of first-order theories over a common reduct [Formula: see text], a notion that generalizes many examples of random or generic structures in the model-theoretic literature. When each [Formula: see text] is model-complete, [Formula: see text] coincides with the model companion of [Formula: see text]. By obtaining sufficient conditions for the existence of [Formula: see text], we develop new tools to show that theories of interest have model companions.

查看原文本刊更多论文

添入的融合

我们定义了一阶理论在一个公共约简上的一族[公式:见文本]的内插融合[公式:见文本]，这个概念概括了模型理论文献中许多随机或一般结构的例子。当每个[公式:见文]模型完备时，[公式:见文]与[公式:见文]的模型伴侣重合。通过获得[公式:见文本]存在的充分条件，我们开发了新的工具来证明感兴趣的理论有模型同伴。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Journal of Mathematical Logic MATHEMATICS-LOGIC

CiteScore

1.60

自引率

11.10%

发文量

审稿时长

>12 weeks

期刊介绍： The Journal of Mathematical Logic (JML) provides an important forum for the communication of original contributions in all areas of mathematical logic and its applications. It aims at publishing papers at the highest level of mathematical creativity and sophistication. JML intends to represent the most important and innovative developments in the subject.