Universal Algebra seminar

Ross Willard, Department of Pure Mathematics, University of Waterloo

“Varieties with a difference term. III”

I will complete the proof that a certain syntactic condition characterizes the class of varieties having a difference term.