The class of congruence meet semidistributive varieties is not strong Maltsev

TL;DR

This paper proves that the class of congruence meet semidistributive varieties cannot be characterized by a finite set of identities, highlighting limitations in their algebraic description.

Contribution

It establishes that no finite set of identities can fully characterize the class of congruence meet semidistributive varieties.

Findings

No finite identity basis exists for these varieties.

The result impacts the understanding of algebraic structures in lattice theory.

It clarifies the limitations of axiomatization in this context.

Abstract

We present a proof that there is no single finite package of identities which characterizes the class of congruence meet semidistributive varieties.