Wednesday, March 27, 2019 3:30 pm
-
3:30 pm
EDT (GMT -04:00)
Michael Deveau, Department of Pure Mathematics, University of Waterloo
"Generalizing $\omega^k$-c.e. for Relativization - Part 2"
We finish the proof of a characterization of $A \leq_{bT} B^b$ that we started last time. We then use this to motivate a more general characterization, namely when $A \leq{bT} B^{nb}$. Finally, we begin the proof of a weak non-collapse theorem which uses this expanded characterization.
MC 5413