| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 5778635 | Advances in Mathematics | 2017 | 21 Pages |
Abstract
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 RCA0, Ramsey's Theorem for Pairs does not imply Σ20-induction.
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)
Authors
C.T. Chong, Theodore A. Slaman, Yue Yang,