关于 Slaman 与 Steel 的一个问题
逻辑
2026-02-17 v2
摘要
我们考虑 Slaman 与 Steel 的一个老问题：图灵等价是否是一族 Borel 等价关系的递增并，其中每一个都不包含一致可计算的无穷序列。我们表明该问题与围绕 Martin 猜想的问题以及可数 Borel 等价关系中的问题深刻相关。特别地，如果 Slaman 与 Steel 的问题有肯定回答，则意味着存在一个普遍的可数 Borel 等价关系不是一致普遍的，并且存在一个 -不变函数，它在任何指向完美集上都不是一致不变的。
引用
@article{arxiv.2004.00174,
title = {On a question of Slaman and Steel},
author = {Adam Day and Andrew Marks},
journal= {arXiv preprint arXiv:2004.00174},
year = {2026}
}