Computability Learning Seminar

Michael Deveau, Department of Pure Mathematics, University of Waterloo

"Effective Bi-interpretability -- Part 2"

We continue exploring the properties of effective bi-interpretability introduced last time. We shall see that two structures being effectively bi-interpetable requires that they have very similar properties in terms of many of the notions discussed thus far.

MC 5403