Computability Learning Seminar

Michael Deveau, Department of Pure Mathematics, University of Waterloo

"Effective Bi-interpretability"

We extend the definition of effective interpretability presented last time to get the notion of effective bi-interpretability, and prove that a number of useful properties hold when two structures are effectively bi-interpretable.

MC 5403