Model complete universal Horn classes (Q800351)

It is shown that the class of (non-trivial) models of a universal Horn theory \(\theta\) whose infinite part is model complete is the union of a sequence of pairwise disjoint complete and model complete universal Horn classes. This result is applied to determine the number of non-isomorphic models of \(\theta\) (under the additional assumption that \(\theta\) is locally finite).