“The Adjacency Relation”

Jonathan Stephenson, Department of Pure Mathematics, University of Waterloo

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