Constraint Satisfaction and Universal Algebra seminar

Tuesday, October 8, 2013 10:30 am - 10:30 am EDT (GMT -04:00)

Ian Payne, Department of Pure Mathematics, University of Waterloo

"The Absorption Theorem and its Proof (Part 2)"

I'll spend the first few minutes finishing the proof that spiralled into obscenity at the end of last week. Following that and a quick recap, I will give the last definition required to state the Absorption Theorem. The rest of the talk will be devoted to proving it.