Ramsey's Theorem for Pairs and k Colors as a Sub-Classical Principle of Arithmetic
Title | Ramsey's Theorem for Pairs and k Colors as a Sub-Classical Principle of Arithmetic |
Publication Type | Journal Article |
Year of Publication | 2017 |
Authors | Berardi, S, Steila, S |
Journal | Journal of Symbolic Logic |
Volume | 82 |
Issue | 2 |
Pagination | 737-753 |
URL | http://www.iam.unibe.ch/ltgpub/2016/best16.pdf |