Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Stefano Berardi, Silvia Steila. Ramsey's Theorem for Pairs and k Colors as a sub-Classical Principle of Arithmetic. Journal of Symbolic Logic, 82(2):737-753, 2017. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic ArithmeticStefano Berardi, Silvia Steila. TYPES 2014: 64-83 [doi]
The following publications are possibly variants of this publication: