Logic Seminar
Weihrauch reductions between Koenig's lemma and versions of Ramsey's theorem
Wednesday, September 28, 2016 - 4:00pm
Malott 206
I will state and prove results of Hirschfeldt and Jockusch relating the uniform computational strength of Koenig's lemma, RT^3_2, and SRT^2_2, among others.