Полугруппы, порождающие категоричные хорновы классы

Описаны полугруппы, порождающие $\omega_1$-категоричные хорновы классы. Доказана
Теорема. Если $\mathfrak A=\langle A;\circ\rangle$ — полугруппа, порождающая $\omega_1$-категоричный хорнов класс, то $\mathfrak A$ либо является абелевой группой, либо в $\mathfrak A$ выполнено одно из тождеств:
$$ \forall\,xy\ (x\circ y=x),\quad\forall\,xy\ (x\circ y=y),\quad\forall\,xyuv\ (x\circ y=u\circ v). $$
Библиогр. 6 назв.