Computability Learning Seminar

Thursday, July 16, 2015 2:00 pm - 2:00 pm EDT (GMT -04:00)

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

“The Turing Ordinal”

We present the notion of Turing Ordinal of a class of structures. The Turing Ordinal was introduced by Jockusch and Soare as a computability theoretic method for comparing complexities of classes of structures. We explain an example by Montalban of a class of structures that doesn’t have a Turing Ordinal.