Ramsey's Theorem for Pairs and k Colors as a Sub-Classical Principle of Arithmetic

TitleRamsey's Theorem for Pairs and k Colors as a Sub-Classical Principle of Arithmetic
Publication TypeJournal Article
Year of Publication2017
AuthorsBerardi, S, Steila, S
JournalJournal of Symbolic Logic
Volume82
Issue2
Pagination737-753
URLhttp://www.iam.unibe.ch/ltgpub/2016/best16.pdf