Universal Algebra Learning Seminar

Thursday, February 4, 2016 2:30 pm - 2:30 pm EST (GMT -05:00)

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.