Universal Algebra Seminar

Renzhi Song, 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 final talk we will finish the proof by contradiction we started last week by constructing a tuple that will contradict a lemma we have already proven.

MC 5479