Tuesday, June 6, 2017 3:30 pm
-
3:30 pm
EDT (GMT -04:00)
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