Universal Algebra Learning Seminar

Ian Payne, Pure Mathematics, University of Waterloo

"A result on constraint satisfaction problems: part 3"

In this talk, I will begin going through Bulatov's proof that a nonempty standard $(2,3)$-system with potatoes from a variety of $2$-semilattices has a solution. It should take two lectures to complete the proof.