文摘
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.