|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
checked on Dec 7, 2023
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.