Обогащения категоричных антиаддитивных хорновых теорий до аддитивных

The main result of the paper is a characterization of definable permutation groups in categorical Horn theories. This characterization implies the theorem that there exist categorical Horn theories which can not be expanded till categorical additive Horn theories.