The Hanf number for classes of algebras whose largest congruence is always finitely generated
first order theory of universal algebras
scientific article; zbMATH DE number 3637829