Initial Models and Horn Clause Axiomatizability

Abstract

Maljcev introduced a notion of free presentation for arbitrary classes of models and characterized classes of structures admitting such presentations. The connection with Horn clause axiomatizability was shown by Tabata in case of first order theories with equality. Here we prove a generalization of this result for infinitary theories without equality.