Logic seminar

Wednesday, September 17, 2014 3:40 pm - 3:40 pm EDT

Barbara Csima, Department of Pure Mathematics, University of Waterloo

“Isomorphisms of Computable Structures”

We say a structure is computable (or computably presented) if it has domain the natural numbers, and if all functions, relations and constants are uniformly computable. This definition is not isomorphism invariant. We can ask: between two computable copies of a given structure, what is this simplest isomorphism that must exist? For example, between any two computable copies of the rationals, there always exists a computableisomorphism, since the usual back-and-forth isomorphism can be found effectively. On the other hand, the difficulty of computing an isomorphism between two computable copies of (N, ¡) is exactly that of the halting set, since we need to answer the single- quantifier questions of which element is least, next, etc. In this talk, we present what is known about Turing degrees that arise as degrees of isomorphisms for computable structures.

Please note time.