Geodesic
Initial Models and Horn Clause Axiomatizability
Publications de l'Institut Mathématique, _N_S_65 (1999) no. 79, p. 17

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

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 : 03-02 03C52 
@article{PIM_1999_N_S_65_79_a2,
     author = {Miodrag Kapetanovi\'c},
     title = {Initial {Models} and {Horn} {Clause} {Axiomatizability}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {17 },
     publisher = {mathdoc},
     volume = {_N_S_65},
     number = {79},
     year = {1999},
     zbl = {1006.03030},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1999_N_S_65_79_a2/}
}
TY  - JOUR
AU  - Miodrag Kapetanović
TI  - Initial Models and Horn Clause Axiomatizability
JO  - Publications de l'Institut Mathématique
PY  - 1999
SP  - 17 
VL  - _N_S_65
IS  - 79
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1999_N_S_65_79_a2/
LA  - en
ID  - PIM_1999_N_S_65_79_a2
ER  - 
%0 Journal Article
%A Miodrag Kapetanović
%T Initial Models and Horn Clause Axiomatizability
%J Publications de l'Institut Mathématique
%D 1999
%P 17 
%V _N_S_65
%N 79
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1999_N_S_65_79_a2/
%G en
%F PIM_1999_N_S_65_79_a2
Miodrag Kapetanović. Initial Models and Horn Clause Axiomatizability. Publications de l'Institut Mathématique, _N_S_65 (1999) no. 79, p. 17 . http://geodesic.mathdoc.fr/item/PIM_1999_N_S_65_79_a2/