The bottom of the lattice of BCK-varieties
arXiv:2409.09854
Abstract
Confirming a conjecture of Pałasiński and Wroński, we show that the bottom of the lattice of subvarieties of BCK is Y-shaped.
This is an inessentially altered version of the original article. English and TeX slightly improved