分离配对拉姆齐定理以下的原理
逻辑
2013-02-05 v1
摘要
近年来，在逆数学领域有大量关于可从 （配对拉姆齐定理）证明的自然数学原理的工作。这些原理往往落在逆数学的“五大”系统之外，且 以下的子系统图景变得错综复杂。在本文中，我们回答了关于这些子系统的两个开放问题，具体而言是 不等价于 ，且 不等价于 。
引用
@article{arxiv.1302.0828,
title = {Separating principles below Ramsey's Theorem for Pairs},
author = {Manuel Lerman and Reed Solomon and Henry Towsner},
journal= {arXiv preprint arXiv:1302.0828},
year = {2013}
}