论文标题
积极的解释理论
Positive model theory of interpretations
论文作者
论文摘要
我们证明了$ \ Mathcal {C} \ to \ Mathcal {d} $相干函数的模型理论结果的类似物，包括省略类型定理的变体和超强构建体的一些结果。我们将$ \ mathcal {c} \的分布晶格不变式引入\ Mathbf {set} $相干函数，该函数完全消失在正面的封闭模型上，然后我们研究其函数属性。
We prove analogues of model theory results for $\mathcal{C}\to \mathcal{D}$ coherent functors, including variants of the omitting types theorem and some results on ultraproduct constructions. We introduce a distributive lattice valued invariant of $\mathcal{C}\to \mathbf{Set}$ coherent functors that vanishes precisely on positively closed models, then we study its functorial properties.
