EMIS ELibM Electronic Journals PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 65(79), pp. 17--19 (1999)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

 		 

Initial models and Horn clause axiomatizability

M. Kapetanovi\'c

Matemati\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
© 2001 ELibM for the EMIS Electronic Edition