@misc{indiciae99d2d909595a, title = {The proof-theoretic strength of Ramsey's theorem for pairs and two colors}, author = {Ludovic Patey and Keita Yokoyama}, year = {2018}, url = {https://arxiv.org/abs/1601.00050}, note = {Source identifier: 1601.00050} }