Tue, 31 Oct 2023, 1:25 pm MDT
The concept of splitting of a lattice dates back to the 1940's and the general theory of splittings in the lattice of subvarieties of a variety has been used and abused for a long time. However one can also look at splitting in the lattice of subquasivarieties of a (quasi)variety since the theory is not much different (and in fact it is, in a certain sense, easier). We will talk briefly about the general theory and, as an application, we will prove a generalization of Baker's Finite Basis Theorem for quasivarieties. This is a joint work with Alex Citkin.