О локально-конечных счетно-категоричных хорновых теориях

Дается характеризация счетно-категоричных хорновых теорий, устанавливается $\omega$-стабильность и другие свойства таких теорий. Дается описание унаров, принадлежащих счетно-категоричным хорновым классам.