Universal Algebra Seminar

Justin Laverdure, Department of Pure Mathematics, University of Waterloo

"Residually small varieties have no more than continuum-sized SIs"

We go over a proof of a result of Taylor's: that, in a countable signature, if a variety K has some bound on the size of its subdirectly irreducible algebras (a so-called "residually small" variety), then in fact this bound is at most the cardinality of the continuum.

MC 5479