Ramsey's Theorem for Pairs and k Colors as a Sub-Classical Principle of Arithmetic. Berardi, S. & Steila, S. Journal of Symbolic Logic, 82:737-753, 2017.
Ramsey's Theorem for Pairs and k Colors as a Sub-Classical Principle of Arithmetic [pdf]Paper  bibtex   

Downloads: 0