Tuesday, March 10, 2015 2:30 pm
-
2:30 pm
EDT (GMT -04:00)
Renzhi Song, Department of Pure Mathematics, University of Waterloo
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