On the strength of Ramsey’s Theorem for pairs (2001)

by Peter A. Cholak , Carl G. Jockusch , Theodore , A. Slaman
Venue:Journal of Symbolic Logic
Citations:41 - 9 self