Tuesday, November 15, 2016 3:30 pm
-
3:30 pm
EST (GMT -05:00)
Jonathan Stephenson, Department of Pure Mathematics, University of Waterloo
“The Adjacency Relation”
We will show that the adjacency relation is structurally complete in linear orders, by expressing rice relations in terms of universal sentences over it.
MC 5417