Universal Algebra Seminar

Ross Willard, Department of Pure Mathematics, University of Waterloo

"Uncountable SIs in residually small varieties in a countable signature, part III"

Continuing the proof of "the theorem" of McKenzie and Shelah, I will prove a technical theorem about the automorphism groups of maximal special subdirectly irreducible members in the relevant varieties.  Then I will assemble the pieces to show that the types realized in a maximal special subdirectly irreducible algebra form a compact second countable topological space.

MC 5479