当前位置:
X-MOL 学术
›
J. Math. Log.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Interpolative fusions
Journal of Mathematical Logic ( IF 0.9 ) Pub Date : 2020-11-28 , DOI: 10.1142/s0219061321500100 Alex Kruckman 1 , Chieu-Minh Tran 2 , Erik Walsberg 3
Journal of Mathematical Logic ( IF 0.9 ) Pub Date : 2020-11-28 , DOI: 10.1142/s0219061321500100 Alex Kruckman 1 , Chieu-Minh Tran 2 , Erik Walsberg 3
Affiliation
We define the interpolative fusion T ∪ ∗ of a family ( T i ) i ∈ I of first-order theories over a common reduct T ∩ , a notion that generalizes many examples of random or generic structures in the model-theoretic literature. When each T i is model-complete, T ∪ ∗ coincides with the model companion of T ∪ = ⋃ i ∈ I T i . By obtaining sufficient conditions for the existence of T ∪ ∗ , we develop new tools to show that theories of interest have model companions.
中文翻译:
插值融合
我们定义插值融合吨 ∪ * 一个家庭的( 吨 一世 ) 一世 ∈ 一世 一阶理论在一个共同的归约上吨 ∩ ,这个概念概括了模型理论文献中许多随机或通用结构的例子。当每个吨 一世 是模型完备的,吨 ∪ * 与模型伴侣不谋而合吨 ∪ = ⋃ 一世 ∈ 一世 吨 一世 . 通过获得存在的充分条件吨 ∪ * ,我们开发了新的工具来证明感兴趣的理论有模型伴侣。
更新日期:2020-11-28
中文翻译:
插值融合
我们定义插值融合