论文标题
积极的确定性模式
Positive Definability Patterns
论文作者
论文摘要
我们将Hrushovski的确定性模式从一阶逻辑的设置重新制定为积极逻辑的设置。给定h宇宙理论，我们将两个结构放在t语言的t的模型类型上，\ mathcal {l}和\ mathcal {l}_π。事实证明，对于足够饱和的模型，相应的H-大学理论\ Mathcal {T}和\ Mathcal {T}_π与模型无关。我们表明，\ Mathcal {T}有一个规范模型\ Mathcal {J}，在许多有趣的情况下，有一个类似的规范模型\ Mathcal {J}_π的\ Mathcal {T}_π的_π，这两个都嵌入了每个类型的空间。我们讨论这些规范模型的特性，称为核心，并提供了一些具体的例子。
We reformulate Hrushovski's definability patterns from the setting of first order logic to the setting of positive logic. Given an h-universal theory T we put two structures on the type spaces of models of T in two languages, \mathcal{L} and \mathcal{L}_π. It turns out that for sufficiently saturated models, the corresponding h-universal theories \mathcal{T} and \mathcal{T}_π are independent of the model. We show that there is a canonical model \mathcal{J} of \mathcal{T}, and in many interesting cases there is an analogous canonical model \mathcal{J}_π of \mathcal{T}_π, both of which embed into every type space. We discuss the properties of these canonical models, called cores, and give some concrete examples.
