Категоричные хорновы классы. I

Дается характеризация алгебраических систем, содержащихся в хорновых классах, с одним из следующих свойств: а) полноты, б) стабильности, в) счетной категоричности. Доказано, что категоричные в несчетных мощностях хорновы классы получаются из категоричных квазимногообразий путем выбрасывания некоторых сигнатурных операций. Приведена полная система инвариантов, характеризующая несчетно категоричные хорновы классы с точностью до определимой эквивалентности.