The inductive strength of Ramsey's Theorem for Pairs

详细信息    查看全文

• 作者：C.T. Chong^a ; ^{chongct@math.nus.edu.sg} ; Theodore A. Slaman^b ; ^{slaman@math.berkeley.edu} ; Yue Yang^a ; ^{matyangy@nus.edu.sg}
• 关键词：primary ; 03B30 ; 03F35 ; 03D80 ; secondary ; 05D10
• 刊名：Advances in Mathematics
• 出版年：2017
• 出版时间：21 February 2017
• 年：2017
• 卷：308
• 期：Complete
• 页码：121-141
• 全文大小：477 K
• 卷排序：308

文摘

We address the question, “Which number theoretic statements can be proven by computational means and applications of Ramsey's Theorem for Pairs?” We show that, over the base theory RCA0RCA0, Ramsey's Theorem for Pairs does not imply Σ20-induction.