Peter Cholak Carl G. Jockusch Jr. Theodore A. Slaman On The Strength of Ramsey's Theorem for Pairs. 1-55 2001 66 J. Symb. Log. 1 db/journals/jsyml/jsyml66.html#CholakJS01