某些与配对拉姆齐定理相关组合原理的强度
逻辑
2014-08-14 v1
摘要
我们研究了（稳定）配对拉姆齐定理及相关原理 COH 和 DNR 的逆数学及可计算理论强度。我们证明了在 RCA 之上 SRT 蕴含 DNR，但 COH 不蕴含 DNR；并通过证明每个可计算的稳定配对 2-着色都具有一个不完全的 无限齐次集，回答了 Mileti 提出的一个问题。我们还给出了后一结果的一些推广，并将其与证明 SRT 不蕴含 RT 的潜在方法联系起来。
引用
@article{arxiv.1408.2897,
title = {The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs},
author = {Denis R. Hirschfeldt and Carl G. Jockusch and Bjørn Kjos-Hanssen and Steffen Lempp and Theodore A. Slaman},
journal= {arXiv preprint arXiv:1408.2897},
year = {2014}
}