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
URL: http://elib.mi.sanu.ac.rs/files/journals/publ/85/n079p017.pdf
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.
Publisher: Mathematical Institute of the Serbian Academy of Sciences and Arts

Show full item record

Page view(s)

21
checked on Dec 4, 2024

Google ScholarTM

Check


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