Authors: Kapetanović, Miodrag 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Initial Models and Horn Clause Axiomatizability
Journal: Publications de l'Institut Mathématique
Volume: 65
Issue: 79
First page: 17
Last page: 19
Issue Date: 1999
Rank: M24
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.
Publisher: Mathematical Institute of the Serbian Academy of Sciences and Arts

Show full item record

Page view(s)

checked on Dec 7, 2023

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.