The class of congruence meet semidistributive varieties is not strong Maltsev
arXiv:2506.07881
Abstract
We present a proof that there is no single finite package of identities which characterizes the class of congruence meet semidistributive varieties.
16 pages, 4 figures