Logic Seminar

Jun Le GohCornell University
Generalized uniform reducibilities: counting instances

Wednesday, October 26, 2016 - 4:00pm
Malott 206

I will give examples of principles $P$ and $Q$ such that $P$ is Weihrauch reducible to $n$, but not $n-1$, successive instances of $Q$. I will then compare Hirschfeldt and Jockusch's reduction game with the bullet operation defined by Dorais et al.