[论文解读] NIP formulas and Baire 1 definability

Karim Khanaki|arXiv (Cornell University)|Mar 25, 2017

Advanced Topology and Set Theory参考文献 3被引用 3

一句话总结

本文建立了在可数结构 M 上公式为 NIP 与在 M 的饱和初等扩张中每个在 M 上有限可满足的类型均为 Baire 1 可定义之间的等价性。利用 Bourgain、Fremlin 和 Talagrand 关于 Baire 1 函数及波兰空间中相对序列紧致性的结果，作者将函数集的拓扑性质转化为模型论中的可定义性，为 NIP 公式提供了泛函分析视角。

ABSTRACT

In this short note, using results of Bourgain, Fremlin, and Talagrand \cite{BFT}, we show that for a countable structure $M$, a saturated elementary extension $M^*$ of $M$ and a formula $ϕ(x,y)$ the following are equivalent: (i) $ϕ(x,y)$ is NIP on $M$ (in the sense of Definition 2.1). (ii) Whenever $p(x)\in S_ϕ(M^*)$ is finitely satisfiable in $M$ then it is Baire 1 definable over $M$ (in sense of Definition 2.5).

研究动机与目标

• 建立利用函数空间拓扑性质对 NIP 公式的模型论刻画。
• 通过将 Bourgain、Fremlin 和 Talagrand 的结果翻译为模型论语言，弥合模型论与泛函分析之间的鸿沟。
• 证明在可数结构中有限可满足性蕴含在饱和扩张中 Baire 1 可定义性。
• 使用分析方法提供非模型论的证明，从而可推广至连续逻辑。
• 激励模型论学者探索模型论与泛函分析之间的联系。

提出的方法

• 利用公式关联的 0-1 值函数集的 NIP 与相对序列紧致性之间的等价性。
• 应用 [BFT78] 中的引理 2.3，涉及 Baire 1 函数中的相对紧致性及 ℝ^X 中的序列紧致性。
• 利用波兰空间上 Baire 1 函数的天使性质（引理 2.4），以保证收敛性质。
• 将 M 上的 Baire 1 可定义性定义为公式 φ(aₙ, y) 沿 aₙ ∈ M 的逐点极限。
• 通过利用波兰空间结构，将模型论类型转化为类型空间 S_φ(M) 上的函数极限。
• 运用逻辑拓扑及 M* 的饱和性，确保类型实现与收敛性。

实验结果

研究问题

• RQ1 在何种条件下，公式 φ(x,y) 在可数结构 M 上为 NIP？
• RQ2 何时类型 p ∈ S_φ(M*) 在 M 上有限可满足且在 M 上 Baire 1 可定义？
• RQ3 C(S_φ(M)) 中的相对序列紧致性这一拓扑性质如何与 NIP 相关联？
• RQ4 模型论中有限可满足性的泛函分析对应物是什么？
• RQ5 NIP 与 Baire 1 函数之间的联系能否推广至连续逻辑？

主要发现

• 公式 φ(x,y) 在可数结构 M 上为 NIP 当且仅当在 S_φ(M*) 中每个在 M 上有限可满足的类型均为在 M 上 Baire 1 可定义。
• 集合 {φ(a,y) : a ∈ M} 在 S_φ(M) 上的 Baire 1 函数空间中相对紧致，当且仅当 φ 在 M 上为 NIP。
• 公式序列 φ(aₙ,y) 的极限在类型空间 S_φ(M) 上逐点收敛于一个 Baire 1 函数 ψ(y)。
• 类型 p 在 M 上的有限可满足性蕴含 p 可表示为 M 上公式序列的逐点极限。
• 该证明依赖于 S_φ(M) 是波兰空间且 B₁(S_φ(M)) 在逐点收敛下为天使空间的事实。
• 通过直接推广，该结果可推广至连续逻辑，如注记 2.7 所述。