Decidability of equational theories of coverings of semigroup varieties.
Definability for equational theories of commutative groupoids
We find several large classes of equations with the property that every automorphism of the lattice of equational theories of commutative groupoids fixes any equational theory generated by such equations, and every equational theory generated by finitely many such equations is a definable element of the lattice. We conjecture that the lattice has no non-identical automorphisms.
Definability in the lattice of equational theories of semigroups.
Distributed families of varieties of algebras
Distributive associative near lattices
Distributive differential modals
A differential modal is an algebra with two binary operations such that one of the reducts is a differential groupoid and the other is a semilattice, and with the groupoid operation distributing over the semilattice operation. The aim of this paper is to show that the varieties of entropic and distributive differential modals coincide, and to describe the lattice of varieties of entropic differential modals.
Distributive multisemilattices [Book]
Dualities in lattices of semigroup varieties.