描述集合理论视角下的分类问题

Classification problems from the descriptive set theoretical perspective

Luca Motto Ros

备注：: Survey paper on Borel reducibility and classification problems. 26 pages. Accepted for publication in the collection Research Trends in Contemporary Logic (edited by Melvin Fitting, Dov Gabbay, Massoud Pourmahdian, Adrian Rezus, and Ali Sadegh Daghighi)

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

二十年过去了，因为Kechris的开创性调查文件[A。S. Kechris，New Directions in描述集合论. Bull.Symbolic Logic，5（2）：161 - 174，1999]。作为这项工作的后续行动，我们回顾了一些OT的（反）分类的结果，在过去的十年中已经获得了使用Borel约化及其推广到不可数基数。

英文摘要：

Twenty years have passed since Kechris' seminal survey paper [A. S. Kechris, New directions in descriptive set theory. Bull. Symbolic Logic, 5(2):161-174, 1999]. As a follow-up of that work, we review some ot the (anti-)classification results that have been obtained in the last decade using Borel reducibility and its generalizations to uncountable cardinals.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

广义描述集论与分类论

Generalized Descriptive Set Theory and Classification Theory

本文研究了不可数情况下的广义描述集论，探讨了等价关系的伯恩-可约性，并揭示了第一阶理论稳定性复杂性与同构关系复杂性之间的联系。

2025-11-22math.LO

局部路径问题的描述组合学分类

Classification of Local Problems on Paths from the Perspective of Descriptive Combinatorics

我们分类的本地问题的输入导向路径有所谓的博雷尔解决方案，并表明这类问题仍然是相同的，如果我们需要一个可测量的解决方案，一个因素的iid解决方案，或解决方案的性质Baire。结合分布式计算领域的工作[Balliu et al. PODC 2019]，描述性组合学领域的工作[Gao et al. arXiv：1803.03872，Bernshteyn arXiv：2004.04905]和随机过程领域的工作[Holroyd et al. Annals of Prob. 2017，Grebík，Rozhoregon arXiv：2103.08394]，这完成了使用这三个领域的复杂性类对有向路径输入的局部问题的分类。一个简单的画面出现了：有四类局部问题，大多数类在所有三个领域都有自然的定义。此外，我们现在知道，随机性\emph{not}有助于解决定向路径上的局部问题。

2021-03-25cs.DSmath.COmath.LO

从分布式算法、有限因子和描述组合学的观点看树上的局部问题

Local Problems on Trees from the Perspectives of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics

我们研究了分布局部算法，iid过程的有限因子，和描述性组合学在正则树的上下文中的联系。我们扩展了Borel确定性技术的标记来自描述组合学，并使其适应分布式计算领域。使用这种技术，我们证明了确定性的分布式$Ω(\log n)$轮下界的问题，从一个自然类的同态问题。有趣的是，这些下界似乎超出了强大的轮消除技术负责所有实质性的地方下界的最后几年目前达到。我们的关键技术成分是一个新的ID图技术，我们希望是独立的利益。证明了局部问题存在Baire可测着色当且仅当它存在具有局部复杂性的局部算法$O(\log n)$，推广了Bernshteyn的Baire可测着色分类.证明的一个关键成分是一个新的和简单的表征，可以解决$O(\log n)$轮的本地问题。我们补充这一结果，显示分离的复杂性类分布计算，有限因素，和描述性组合。最值得注意的是，这类问题，允许一个分布式算法与sublogarithmic随机局部复杂性是无法比拟的一类问题的Borel解决方案。我们希望我们的处理将有助于将所有三个视角视为共同的定域性理论的一部分，其中我们遵循[Bernshteyn-arXiv 2004.04905]的富有洞察力的论文。

2021-06-03cs.DCcs.DSmath.CO

从分布式算法、有限因子与描述性组合数学视角看网格上的局部问题

Local Problems on Grids from the Perspective of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics

本研究建立了分布式局部算法、独立同分布过程有限因子与描述性组合数学三个领域的关联，通过研究网格图局部可校验标注，证明有限因子领域的时间层次定理，解答了相关开放问题，推动了统一局部性理论的构建。

2023-07-25cs.DSmath.COmath.LO

时间约束满足问题的描述复杂性

On the Descriptive Complexity of Temporal Constraint Satisfaction Problems

单域约束满足问题要么可以用Datasheet解决，要么甚至不能用带有计数的定点逻辑来表达。这两个政权之间的边界与泛代数中的一个重要二分法相吻合;特别是，边界可以用一个强高度为1的Maltsev条件来描述。对于无限域CSP，即使CSP的模板结构在模型理论上是驯服的，情况也更加复杂。我们证明，没有Maltsev条件，已经为（Q;<）的一阶约简的CSP的Datasheet的特征，这样的CSP被称为时间CSP和无限域约束满足的根本重要性。我们的主要结果是一个完整的分类的时间CSP，可以表示在以下的逻辑形式之一：数据流，定点逻辑（有或没有计数），或定点逻辑与布尔秩运算符。的分类表明，许多等价条件在有限的未能捕捉表达的数据库或定点逻辑已经为时间CSP。

2022-06-07cs.CCmath.LO

从描述角度看的流形分类

Manifold classification from the descriptive viewpoint

本文从描述集合论角度研究流形和李群离散子群的分类问题，揭示了流形同胚问题的Borel复杂性及双曲流形等距关系的分类特性。

2025-12-31math.DGmath.GTmath.LO

更多相关论文收起更多论文

从描述性到分布式

From descriptive to distributed

本综述从描述集合论视角出发，聚焦图的顶点与边着色问题，介绍该领域成果向分布式计算的转化、相关技术发展及开放问题，还提出了次指数增长图上布鲁克斯着色的高效确定性分布式算法。

2025-02-21cs.DCmath.COmath.LO

某些表示空间上的描述集合论的结果

Results in descriptive set theory on some represented spaces

描述集合论最初是在波兰空间上发展起来的。它后来被扩展到$ω$ -连续域[Selivanov 2004]，最近被扩展到拟波兰空间[de Brecht 2013]。所有这些空间都是可数基的。将描述集合论及其有效对应物扩展到一般表示空间，包括基于非可数的空间，已经开始于[Pauly，de Brecht 2015]。本文研究了空间$\mathcal{O}(\mathbb{N}^\mathbb{N})$，$\mathcal{C}(\mathbb{N}^\mathbb{N},2)$和Kleene-Kreisel空间$\mathbb{N}\langleα\rangle$ .我们证明了存在一个$Σ^0_2$ -子集的$\mathcal{O}(\mathbb{N}^\mathbb{N})$这不是Borel。我们发现，$\mathbb{N}^{\mathbb{N}^\mathbb{N}}$的开放子集不能连续索引的元素的$\mathbb{N}^\mathbb{N}$，甚至$\mathbb{N}^{\mathbb{N}^\mathbb{N}}$，更一般地说，开放子集的$\mathbb{N}\langleα\rangle$不能连续索引的元素的$\mathbb{N}\langleα\rangle$。我们也得到这些结果的有效版本。这些结果回答了最近关于空间在其基复杂性方面的分类的公开问题，这些问题在[de Br…

2017-12-11cs.LOmath.LO