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]
@article{BerardiS17,
title = {Ramsey's Theorem for Pairs and k Colors as a sub-Classical Principle of Arithmetic},
author = {Stefano Berardi and Silvia Steila},
year = {2017},
doi = {10.1017/jsl.2016.41},
url = {https://doi.org/10.1017/jsl.2016.41},
researchr = {https://researchr.org/publication/BerardiS17},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {82},
number = {2},
pages = {737-753},
}