Universal Algebra Learning Seminar

Justin Laverdure, Department of Pure Mathematics, University of Waterloo

"Duality Compactness Theorem"

One more building block on the way to establishing some nice theorems: if a finite structure of finite signature dualizes every finite member of ISP(M), then it dualizes the entirety of the class. If we have time, we'll also see that brute force does dualize the finite members! Unfortunately, these two facts don't mesh yet.

MC 5403