Computability Learning Seminar

Thursday, May 30, 2019 10:00 am - 10:00 am EDT (GMT -04:00)

Michael Deveau,  Department of Pure Mathematics, University of Waterloo

"Computability Theory and Some Applications"

This is an extremely high level overview of the material that makes up my thesis. We explore degrees of categoricity that are computably enumerable in $\mathbf{0}^{(\alpha)}$ for $\alpha$ a limit ordinal and investigate the utility of coding the degree of isomorphisms using unary relations. We then answer the question of effectiveness of Walker's Cancellation Theorem for abelian groups. Finally, we show several results related to the bounded jump on the bounded Turing degrees.

MC 5479