Factorable congruences and factorable congruence blocks on powers of a finite algebra
Finite basis theorem for systems of semigroup identities.
Finitely axiomatizable varieties of BCK-algebras.
Finitely generated relations and their applications to permutable and -permutable varieties
Frattini theory for classes of finite universal algebras of Mal'tsev varieties.
Free Abelian extensions in the congruence-permutable varieties
We obtain the construction of free abelian extensions in a congurence-permutable variety V using the construction of a free abelian extension in a variety of algebras with one ternary Mal'cevoperation and a monoid of unary operations. We also use this construction to obtain a free solvable V-algebra.
Free systems of algebras and ultraclosed classes.