Tuesday, July 18, 2017 3:30 pm
-
3:30 pm
EDT (GMT -04:00)
Matthew Harrison-Trainor, Department of Pure Mathematics, University of Waterloo
"Computable Categoricity"
We will continue our discussion of computable categoricity by characterizing it for structures with some amount of decidability, and then separating it from relative computable categoricity.
MC 5403