Tootfinder

The class of congruence meet semidistributive varieties is not strong Maltsev
Andrew Moorhead
https://arxiv.org/abs/2506.07881 https://

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