Model complete universal Horn classes
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).
scientific article; zbMATH DE number 3875245