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 PublicationIn Press
AuthorsBerardi, S, Steila, S
JournalJournal of Symbolic Logic
URLhttp://www.iam.unibe.ch/ltgpub/2016/best16.pdf