On the strength of Ramsey’s theorem for pairs (0)

by P A Cholak, C G Jockusch, T A Slaman
Venue:Journal of Symbolic Logic