[论文解读] A López-Escobar theorem for metric structures, and the topological Vaught conjecture

Samuel Coskey, Martino Lupini|arXiv (Cornell University)|May 12, 2014

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

一句话总结

本文建立了 López-Escobar 定理在连续逻辑中的度量类比，证明了在 Urysohn 空间上的 Γ-结构空间中，每个 Γ-不变的 Borel 函数均可由 $\Lambda_{\omega_1\omega}$ 中的一个句子定义。该结果为拓扑 Vaught 猜想提供了模型论的重新表述，并证实了 Ivanov 和 Majcher-Iwanow 的一个猜想。

ABSTRACT

We show that a version of López-Escobar's theorem holds in the setting of logic for metric structures. More precisely, let $\mathbb{U}$ denote the Urysohn sphere and let $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ be the space of metric $\mathcal{L}$-structures supported on $\mathbb{U}$. Then for any $\mathrm{Iso}(\mathbb{U})$-invariant Borel function $f\colon \mathrm{Mod}(\mathcal{L}, \mathbb{U}) ightarrow \lbrack 0,1]$, there exists a sentence $ϕ$ of $\mathcal{L}_{ω_{1}ω}$ such that for all $M\in \mathrm{Mod}(\mathcal{L},\mathbb{U})$ we have $f(M)=ϕ^{M}$. At the same time we introduce a variant $\mathcal{L}_{ω_1ω}^\ast$ of $\mathcal{L}_{ω_1ω}$ in which the usual quantifiers are replaced with category quantifiers, and establish the analogous theorem for $\mathcal{L}_{ω_1ω}^\ast$. This answers a question of Ivanov and Majcher-Iwanow. We prove several consequences, for example every orbit equivalence relation of a Polish group action is Borel isomorphic to the isomorphism relation on the set of models of a given $\mathcal{L}_{ω_{1}ω}$-sentence that are supported on the Urysohn sphere. This in turn provides a model-theoretic reformulation of the topological Vaught conjecture.

研究动机与目标

• 将 López-Escobar 的经典定理由离散一阶逻辑推广至度量结构的设定。
• 回应 Ivanov 和 Majcher-Iwanow 提出的问题：在连续逻辑中是否存在类似 López-Escobar 的定理。
• 通过 $\mathcal{L}_{\omega_1\omega}$-句子在 Urysohn 空间上，对波兰群作用的轨道等价关系提供一个模型论特征刻画。
• 以度量结构和无穷逻辑的术语，为拓扑 Vaught 猜想提供一种新表述。
• 证明在 $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ 上，每个 $\mathrm{Iso}(\mathbb{U})$-不变 Borel 函数均可由单个 $\mathcal{L}_{\omega_1\omega}$-句子定义。

提出的方法

• 作者在度量结构的模型论框架内工作，使用 Urysohn 空间 $\mathbb{U}$ 作为通用且齐次的度量空间。
• 他们定义了在 $\mathbb{U}$ 上支持的 $\mathcal{L}$-结构空间 $\mathrm{Mod}(\mathcal{L},\mathbb{U})$，并赋予 $\mathrm{Iso}(\mathbb{U})$，即 $\mathbb{U}$ 的等距同构群的作用。
• 关键的技术工具是构造 $k$ 个自由变量上的 $N$-Lipschitz 公式，通过群作用的上确界来实现 $\mathrm{Iso}(\mathbb{U})$-不变 Borel 函数的取值。
• 他们使用 $\tau_n$-函数和 $N$-Lipschitz 公式的序列逼近，来表示结构的灰集的线性组合、下确界和上确界。
• 证明通过 Borel 函数复杂度的归纳法进行，表明所有此类函数均可通过 $\mathcal{L}_{\omega_1\omega}$-句子的公式层级实现定义。
• 通过证明：对任意 $\mathrm{Iso}(\mathbb{U})$-不变 Borel 函数 $f: \mathrm{Mod}(\mathcal{L},\mathbb{U}) \to [0,1]$，存在一个句子 $\phi \in \mathcal{L}_{\omega_1\omega}$，使得对所有 $M \in \mathrm{Mod}(\mathcal{L},\mathbb{U})$ 都有 $f(M) = \phi^M$，从而确立了主要结果。

实验结果

研究问题

• RQ1 能否将 López-Escobar 风格的定理扩展到度量结构和连续逻辑的设定中？
• RQ2 在 Urysohn 空间上的 $\mathcal{L}$-结构空间中，每个 $\mathrm{Iso}(\mathbb{U})$-不变 Borel 函数是否都可由单个 $\mathcal{L}_{\omega_1\omega}$-句子定义？
• RQ3 拓扑 Vaught 猜想是否能以度量结构和无穷逻辑的术语形式实现模型论的重新表述？
• RQ4 每个波兰群作用的轨道等价关系是否都能作为单个 $\mathcal{L}_{\omega_1\omega}$-句子在 Urysohn 空间上支持的模型的同构关系实现？
• RQ5 $\mathrm{Iso}(\mathbb{U})$-不变 Borel 函数类是否恰好是 $\mathcal{L}_{\omega_1\omega}$-句子可定义的函数类？

主要发现

• 每个 $\mathrm{Iso}(\mathbb{U})$-不变 Borel 函数 $f: \mathrm{Mod}(\mathcal{L},\mathbb{U}) \to [0,1]$ 在每个结构 $M$ 上的取值都等于某个句子 $\phi \in \mathcal{L}_{\omega_1\omega}$ 的评估值，即 $f(M) = \phi^M$。
• 在 Urysohn 空间上的 $\mathcal{L}$-结构空间中，支持了 López-Escobar 定理在连续逻辑设定下的完整类比。
• 每个波兰群作用的轨道等价关系都与单个 $\mathcal{L}_{\omega_1\omega}$-句子在 $\mathbb{U}$ 上支持的模型集合的同构关系 Borel 同构。
• 拓扑 Vaught 猜想等价于一个度量结构的 Vaught 猜想：每个 $\mathcal{L}_{\omega_1\omega}$-句子在 $\mathbb{U}$ 上要么有可数多个，要么有完美多的非同构模型。
• $\mathrm{Iso}(\mathbb{U})$-不变 Borel 函数类对线性组合、下确界和上确界是封闭的，且每一类函数都可通过统一的构造（涉及 $N$-Lipschitz 逼近）由 $\mathcal{L}_{\omega_1\omega}$-公式定义。