Varieties of Pseudo-Interior Algebras

The notion of a pseudo-interior algebra was introduced by Blok and Pigozzi in BPIV]. We continue here our studies begun in BK]. As a consequence of the representation theorem for pseudo-interior algebras given in BK] we prove that the variety of all pseudo-interior algebras is generated by its finite members. This result together with Jónsson's Theorem for congruence distributive varieties provides a useful technique in the study of the lattice of varieties of pseudo-interior algebras.