Logic Seminar

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