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.