“Barto’s NU Theorem (continued)”

**Cancelled**

Ross Willard, Department of Pure Mathematics, University of Waterloo

“Barto’s NU Theorem (continued)”

This seminar is working through the paper ”Finitely related algebras in congruence dis- tributive varieties have near unanimity terms,” Canad. J. Math. 65 (2013), 3-21, by Libor Barto. In this lecture I will present the reduction to the binary case, and the particular CSP instances that will be relevant to the proof of Barto’s theorem.

MC 5479