算术归约下Erdős-Moser定理的弱性
逻辑
2023-10-30 v1
摘要
Erdős-Moser定理称每个无限竞赛图都容许一个无限传递子竞赛图。我们研究Erdős-Moser定理相对于算术层谱的计算行为，并证明对每个，的实例容许low解，且若集合非算术的，则的每个实例都容许一个解，相对于该解仍非算术。我们还提供了该定理的逐层细化。这些结果是逆数学中组合定理计算研究这一更大规划的一部分。
引用
@article{arxiv.2310.17968,
title = {The weakness of the Erd\H{o}s-Moser theorem under arithmetic reductions},
author = {Ludovic Levy Patey and Ahmed Mimouni},
journal= {arXiv preprint arXiv:2310.17968},
year = {2023}
}