Logic Seminar
Wednesday, October 19, 2016 - 4:00pm
Malott 206
I plan to introduce the reduction game of Hirschfeldt and Jockusch and prove that RT12 is not generalized Weihrauch reducible to COH. Time permitting, I will prove the generalization about undiagonalizable principles and principles with diagonalization opportunities with some applications.