Бесконечные примальные алгебры и многообразия Поста

Доказано, что всякая бесконечная примальная алгебра не имеет конечного базиса для своих тождеств. В терминах представимости (или интерпретируемости) охарактеризован класс многообразий, имеющих полную $SC$-теорию. Это позволило построить многообразие $P$ с полной $SC$- теорией, в котором непредставимо никакое многообразие Поста $P_\alpha$ бесконечного порядка $\alpha$. Установлено существование наименьшего элемента $[X]$ в решетке $\mathbf{L}^{int}$ с полной $SC$-теорией $SC(X)$. При этом $[X]<[P_\omega]$ и $[X]\bigvee\{[V]\}$ по всем нетривиальным конечнобазируемым многообразиям $V$ с конечным числом операций. Описано строение свободных алгебр конечного ранга в многообразии Поста $P_\alpha$ при $\alpha\ge\omega$.