Cardinality bounds for subdirectly irreducible algebras Original Research Article

In this paper we show that, if image is a residually small variety generated by an algebra with n < ω elements, and A is a subdirectly irreducible algebra in image with restricted type labeling, then ¦A¦≤ nnnn + 2