Contact Info
Pure MathematicsUniversity of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada
N2L 3G1
Departmental office: MC 5304
Phone: 519 888 4567 x33484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
Visit our COVID-19 information website to learn how Warriors protect Warriors.
Please note: The University of Waterloo is closed for all events until further notice.
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.
Departmental office: MC 5304
Phone: 519 888 4567 x33484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land promised to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Indigenous Initiatives Office.