On the strength of Ramsey's theorem for pairs, The (0)

by PETER CHOLAK, CARL JOCKUSCH, THEODORE SLAMAN
Venue:Journal of Symbolic Logic