Non-axiomatizability of the amalgamation class of modular lattice varieties
variety generated by a finite modular lattice
scientific article; zbMATH DE number 4120219