[论文解读] A Lopez-Escobar theorem for continuous logic

Itaï Ben Yaacov, André Nies+1 more|arXiv (Cornell University)|Jul 26, 2014

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

一句话总结

本文建立了Lopez-Escobar定理的连续逻辑类比，证明了在波兰$β$-结构类上，每一个同构不变的有界Borel函数都可以用连续逻辑$L_{\omega_1\omega}(\mathcal{L})$中的句子表达。该结果通过度量结构上的无穷逻辑，将经典模型论可定义性扩展到了连续设置。

ABSTRACT

Let $\mathcal L$ be a language for continuous logic. Every isomorphism invariant bounded Borel function on the class of Polish $\mathcal L$-structures can be expressed by a sentence in the continuous logic $L_{\omega_1\omega}(\mathcal L)$.

研究动机与目标

• 将Lopez-Escobar的经典定理由经典一阶逻辑扩展到连续逻辑。
• 刻画在波兰$β$-结构上哪些同构不变的有界Borel函数可在连续无穷逻辑中表达。
• 在度量结构和连续逻辑的背景下，建立一个类似于经典模型论结果的可定义性结果。

提出的方法

• 将波兰$β$-结构类形式化为带有连续逻辑语言$β$的拓扑空间。
• 使用连续无穷逻辑$L_{\omega_1\omega}(\mathcal{L})$的框架，表达度量结构的复杂性质。
• 应用描述集合论的技术，分析结构空间上同构不变的Borel函数。
• 证明任何此类函数都可以被$L_{\omega_1\omega}(\mathcal{L})$中的句子一致逼近。
• 利用连续逻辑的完备性和表达力，通过无穷公式捕捉Borel不变量。

实验结果

研究问题

• RQ1 是否每一个在波兰$β$-结构类上的同构不变有界Borel函数都可以用$L_{\omega_1\omega}(\mathcal{L})$中的句子表达？
• RQ2 在连续逻辑中Borel函数的可定义性与经典模型论相比有何异同？
• RQ3 无穷逻辑在捕捉度量结构不变量方面起到什么作用？

主要发现

• 在波兰$β$-结构类上，每一个同构不变的有界Borel函数都可以用$L_{\omega_1\omega}(\mathcal{L})$中的句子表达。
• 该结果建立了Lopez-Escobar定理的连续逻辑类比，将可定义性结果扩展到了度量设置。
• $L_{\omega_1\omega}(\mathcal{L})$的表达力足以捕捉所有此类Borel不变量，证实了其在连续模型论中的强大能力。
• 证明依赖于描述集合论与连续逻辑之间的相互作用，特别是在结构的波兰空间背景下。