Friday, November 11, 2022 10:30 am
-
10:30 am
EST (GMT -05:00)
Barbara Csima, Department of Pure Mathematics, University of Waterloo
"Degrees of Categoricity"
A degree of categoricity is a Turing degree that exactly captures the complexity of computing isomorphisms between computable copies of some computable structure. In this talk I will start by giving some easy examples of degrees of categoricity. I will then give a review of what is known about degrees of categoricity, culminating in new results (joint work with Dino Rossegger).
Note: We will pause at 11am to observe a minute of silence.
MC 5403