在逆数学中主导 Erdos-Moser 定理
逻辑
2016-10-26 v2
摘要
Erdos-Moser 定理（EM）指出每个无限竞赛图都有一个无限传递子竞赛图。该原理通过提供用 EM 和升序降序序列原理（ADS）对 RT^2_2 的另一种证明，在理解对的 Ramsey 定理（RT^2_2）的计算强度方面起着重要作用。在本文中，我们研究了 EM 的计算弱度，并构造了一个同时满足 EM、弱 K\"onig 引理和凝聚原理的标准模型（omega-模型），它不是原子模型定理的模型。这一分离回答了 Hirschfeldt、Shore 和 Slaman 的一个问题，并表明 Erdos-Moser 定理的弱度超出了 Lerman、Solomon 和 Towsner 所证明的 EM 与 ADS 的分离。
引用
@article{arxiv.1505.03425,
title = {Dominating the Erdos-Moser theorem in reverse mathematics},
author = {Ludovic Patey},
journal= {arXiv preprint arXiv:1505.03425},
year = {2016}
}
备注
36 pages