“A syntactic characterization”

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

R.i.c.e. relations can be characterized in a purely syntactic way using computably infinitary formulas and without referring to the different copies of the structure. We go through the proof of Theorem II.1.14 that establishes this characterization.

MC 5417