Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo
“Computable Structure Theory”
In Computable structure theory we study the computational aspects of mathematical struc- tures. By structures we mean objects like rings, fields, or linear orderings , which consist of a domain on which we have relations, functions and constants. We are interested in the difficulty of representing structures, how difficult it is to compute relations on our structures or how complicated the isomorphisms between the structures can be. In this learning seminar we are going to learn about this topic from Montalb ́an’s draft: Computable Structure Theory Part 1.