Friday, May 4, 2018 2:00 pm
-
2:00 pm
EDT (GMT -04:00)
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