Категоричные универсалы полугрупп

В работе описаны все категоричные в какой-либо бесконечной мощности универсально аксиоматизируемые классы полугрупп. Дано определение специальной полугруппы и доказана
Теорема. Универсальная теория бесконечной полугруппы $G$ категорична в некоторой бесконечной мощности тогда и только тогда, когда $G$ – специальная, либо веерная, либо полугруппа правых нулей, либо полугруппа левых нулей, либо прямая сумма групп порядка $p$ для некоторого простого $p$.