Computability Learning Seminar

Thursday, April 5, 2018 10:30 am - 10:30 am EDT (GMT -04:00)

Barbara Csima, Department of Pure Mathematics, University of Waterloo

"Every $\Delta^0_2$ degree is a strong degree of categoricity"

We sketch the proof that  every $\Delta^0_2$ degree is a strong degree of categoricity. This is joint work with Keng Meng Ng.

MC 5417