Constraint Satisfaction and Universal Algebra learning seminar

Ian Payne, Department of Pure Mathematics, University of Waterloo

“More Preliminaries for the Proof of the Bounded Width Conjecture”

I will state and prove one last Lemma, and then quickly prove the main Lemma stated last week. After that, I will go through section 7.3.