Независимость эквациональных теорий и групп автоморфизмов решеток

Доказана независимость эквациональных теорий и групп автоморфизмов в классе всех решеток, т. е. установлено, что для любой группы $G$ и любого нетривиального многообразования решеток $\mathfrak{M}$ существует решетка $L$, для которой $G\cong\operatorname{Aut}(L)$ и $\mathfrak{M}=\operatorname{Var}(L)$. Через $\operatorname{Var}(L)$ обозначено многообразие, порожденное решеткой $L$.
Библ. 9.