Разрешимость элементарных теорий конечно-определенных алгебр многообразия алгебр, заданного пустой системой тождеств

Методом, восходящим к А. И. Мальцеву, доказана
ТЕОРЕМА. \textit{Пусть $\mathfrak{A}$ – произвольное многообразие алгебр, заданное пустой системой тождеств и имеющее конечное множество $\Omega$ символов операций, $\mathscr{A}$ – любая конечно-определенная алгебра этого многообразия с конечной системой образующих элементов $A$. Тогда элементарная теория $\operatorname{Th}(\mathscr{A})$ алгебры $\mathscr{A}$, рассматриваемая в сигнатуре $\Omega\cup A$, разрешима.}
Библиогр. 4 назв.