关于 $\mathsf{SRT}^2_2$ 与 $\mathsf{COH}$ 问题的一些结果
逻辑
2020-03-27 v2
摘要
对比 问题是可计算组合学与逆数学中的一个核心问题，它询问是否满足原则 的每个图灵理想也满足原则 。本文是对进一步发展中攻克该问题所涉及的若干主要技术的一项贡献。我们研究了分别与 和 相关的若干原则，并证明了凸显我们当前理解之局限、同时也指向值得进一步探索的新方向的结果。
引用
@article{arxiv.1901.10326,
title = {Some results concerning the $\mathsf{SRT}^2_2$ vs. $\mathsf{COH}$ problem},
author = {Peter A. Cholak and Damir D. Dzhafarov and Denis R. Hirschfeldt and Ludovic Patey},
journal= {arXiv preprint arXiv:1901.10326},
year = {2020}
}