“Barto’s NU Theorem (continued)”

Renzhi Song, Department of Pure Mathematics, University of Waterloo

This seminar is working through the paper Finitely related algebras in congruence distribu- tive varieties have near unanimity terms, Canad. J. Math. 65 (2013), 3-21, by Libor Barto. With the preliminaries finished, we move onto the final piece of the paper. We will show that if a (2,3)-system P with a family of Jonsson ideals realizes all P-trees up to a given size, then it realizes all P-trees.

MC 5479