拓扑Vaught猜想的又一个递归理论刻画

One more recursive-theoretic characterization of the Topological Vaught Conjecture

Vassilios Gregoriades

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们证明在ZF的递归理论表征的拓扑沃特猜想重温波兰$G$ -空间中的轨道是Borel集的事实。

英文摘要：

We prove in ZF a recursive-theoretic characterization of the Topological Vaught Conjecture by revisiting the fact that orbits in Polish $G$-spaces are Borel sets.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Vaught猜想的可计算性理论等价

A computability theoretic equivalent to Vaught's conjecture

我们证明了，对于由${\mathcal L}_{ω_1,ω}$语句给出的每个理论$T$，$T$有小于$2^{\aleph_0}$许多的可数模型当且仅当我们有，对于图灵度锥上的每个$X\in 2^ω$，$T$的每个$X$ -超算术模型有一个$X$ -可计算副本.我们还发现了一个具体的描述，相对于一些甲骨文，图灵度谱的所有模型的反例沃特猜想。

2013-06-06math.LO

$\omega$-稳定理论的类型$\omega$-Vaught猜想

The Type $ω$-Vaught's Conjecture for $ω$-stable Theories

University of Wisconsin-Madison（威斯康星大学麦迪逊分校）

本文提出Vaught猜想的一个新变体，基于Martin猜想和$\omega$-Vaught猜想，针对$\omega$-稳定理论证明之，并将Scott句所需量词数从$\omega+\omega$改进为$\omega+5$（可数情形）和$\omega+6$（不可数情形）。

2026-10-08math.LO

度量结构的López-Escobar定理和拓扑Vaught猜想

A López-Escobar theorem for metric structures, and the topological Vaught conjecture

我们表明，一个版本的洛佩斯-埃斯科瓦尔定理持有的设置逻辑度量结构。更准确地说，令$\mathbb{U}$表示Urysohn球面，令$\mathrm{Mod}(\mathcal{L},\mathbb{U})$是$\mathbb{U}$上支持的度量$\mathcal{L}$ -结构的空间。则对于任何$\mathrm{Iso}(\mathbb{U})$不变Borel函数$f\colon \mathrm{Mod}(\mathcal{L}, \mathbb{U})\rightarrow \lbrack 0,1]$，存在$\mathcal{L}_{ω_{1}ω}$的语句$ϕ$，使得对于所有$M\in \mathrm{Mod}(\mathcal{L},\mathbb{U})$，我们有$f(M)=ϕ^{M}$ .同时，我们引入了$\mathcal{L}_{ω_1ω}$的一个变体$\mathcal{L}_{ω_1ω}^\ast$，其中常用量词被范畴量词取代，并建立了$\mathcal{L}_{ω_1ω}^\ast$的类似定理。这回答了伊万诺夫和Majcher-Iwanow的一个问题。我们证明了几个后果，例如每一个波兰群作用的轨道等价关系是Borel同构的同构关系上的一组模型的一个给定的$\mathcal{L}_{ω_{1}ω}$ -句子，支持Urysohn球。这反过来又提供了一个模型理论的拓扑沃特猜…

2015-09-06math.LO

波兰群的Borel作用

Borel actions of Polish groups

我们表明，一个{ \it Borel}行动的波兰群在一个标准的Borel空间是Borel同构的一个{ \it连续}行动的波兰空间的群体，我们将这一结果的三个方面的理论波兰群的Borel行动：普遍行动，不变的概率测度，和拓扑沃特猜想。我们建立了存在的普遍行动，任何给定的波兰集团，扩展的结果Mackey和Varadarajan的局部紧的情况下。我们证明了一个类似的塔斯基定理悖论分解表明，存在一个不变的博雷尔概率测度是等同于不存在的悖论分解与可数许多博雷尔件。我们表明，各种自然版本的拓扑沃特猜想是相互等价的，并在$\Bbb N$的置换群的情况下，与无穷逻辑的模型论沃特猜想，这取决于我们的识别的普遍行动，该组。

1993-04-01math.FAmath.LO