PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 65(79), pp. 17--19 (1999)
Initial models and Horn clause axiomatizability
M. Kapetanovi\'cMatemati\v cki institut SANU, Beograd, Yugoslavia
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.
Classification (MSC2000): 03-02; 03C52
Full text of the article:
Electronic fulltext finalized on: 1 Nov 2001. This page was last modified: 7 Dec 2001.
© 2001 Mathematical Institute of the Serbian Academy of Science and Arts