Wednesday, November 21, 2018 3:30 pm
-
3:30 pm
EST (GMT -05:00)
Ross Willard, Department of Pure Mathematics, University of Waterloo
"Dualizing the finite level"
Last week, Justin proved the Duality Compactness Theorem, which reduces the task of proving a duality to proving it “at the finite level,” that is, for the finite algebras in the quasi-variety ISP(M), at least for alter egos with a finite signature. This week I will present a characterization of when an alter ego dualizes the finite algebras in ISP(M). The characterization is especially useful when the term operations of M are understood.
MC 5403