关于 Erd?s-Moser 定理的研究

摘要：

本文主要研究 Erd?s-Moser 定理.在简单介绍了反推数学的一些基础知识后,首先研究了 Erd?s-Moser 定理的证明论强度:存在一个可计算的二元二染色函数使得任何无穷Σ02集合都不是该函数的传递集,同时存在一个可计算的二元二染色函数使得每一个该函数的无穷传递集都是超免疫的.其次,我们进一步考虑了稳定性 Erd?s-Moser 定理,证明了在二阶算术子系统 RCA0下稳定性 Erd?s-Moser定理是不可证的并且对每一个可计算的稳定性二色二阶函数,我们构造了一个?′可计算的无穷传递集.

在线出版日期：2013-05-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：39-48