Categorical horn classes. 2

We come up with a quite efficient characterization of uncountably categorical Horn classes, which, in particular, implies that the classes in question are model complete. It is also worth mentioning the following results: quantifier elimination down to primitive formulas, a description of groups interpretable in models of categorical Horn theories, and a characterization of groups interpretable in models of almost strongly minimal Horn theories.