Calcul syntaxique des modèles et calcul des formules internes
Diagrammes, Tome 4 (1980), pp. GL1-GL106 
@article{DIA_1980__4__1_0,
     author = {Guitart, R. and Lair, C.},
     title = {Calcul syntaxique des mod\`eles et calcul des formules internes},
     journal = {Diagrammes},
     pages = {GL1--GL106},
     year = {1980},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {4},
     mrnumber = {684746},
     zbl = {0508.03030},
     language = {fr},
     url = {https://www.numdam.org/item/DIA_1980__4__1_0/}
}
TY  - JOUR
AU  - Guitart, R.
AU  - Lair, C.
TI  - Calcul syntaxique des modèles et calcul des formules internes
JO  - Diagrammes
PY  - 1980
SP  - GL1
EP  - GL106
VL  - 4
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - https://www.numdam.org/item/DIA_1980__4__1_0/
LA  - fr
ID  - DIA_1980__4__1_0
ER  - 
%0 Journal Article
%A Guitart, R.
%A Lair, C.
%T Calcul syntaxique des modèles et calcul des formules internes
%J Diagrammes
%D 1980
%P GL1-GL106
%V 4
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U https://www.numdam.org/item/DIA_1980__4__1_0/
%G fr
%F DIA_1980__4__1_0
Guitart, R.; Lair, C. Calcul syntaxique des modèles et calcul des formules internes. Diagrammes, Tome 4 (1980), pp. GL1-GL106. https://www.numdam.org/item/DIA_1980__4__1_0/

(C.A.L.O.) Y. Diers, Catégories localisables, Thèse, Paris, 1977.

(D.E.L.C.) R. Guitart et L. Van Den Bril, Décompositions et lax-complétions, Cahiers de Top. et Géom. Diff., XVIII,4, 1977. | Zbl | Numdam

(E.G.C.E.) C. Lair, Etude générale de la catégorie des esquisses, Esquisses Math. 23, Paris, 1975. | Zbl

(E.T.S.A.) C. Ehresmann, Esquisses et types de structures algébriques, Bul. Instit. Polit., Iasi, XIV, 1968. | Zbl

(F.A.U.C.) H. Andréka et I. Németi, Formulas and ultraproducts in categories, Beit. zur Alg. und Geom., 8, 1979. | Zbl

(F.O.C.L.) M. Makkaiet G. Reyes, First order categorical logic, Lect. Notes in Math. 611, 1977. | Zbl

(F.O.S.A.) C. Lair, Foncteurs d'omission de structures algébriques, Cah. de Top. et Géom. Diff., XII,2, 1971. | Numdam

(G.M.E.N.) F. Cary, Graphes multiplicatifs enrichis, Esquisses Math. 27, Amiens, 1978. | Zbl

(I.F.O.F.) H. Andréka et I. Németi, Injectivity in categories to represent all first order formulas, I, Dem. Math., XII, 3, 1979. | Zbl

(L.P.L.G.) F. Ulmer, Locally presentable and locally generated categories, Lect. Notes in Math. 195, 1971. | Zbl | MR

(O.C.U.C.) S. Fakiret L. Haddad, Objets cohérents et ultraproduits dans les catégories, Journ. of Alg., 21,3, 1972. | Zbl | MR

(R.E.C.E.) R. Guitart, Relations et carrés exacts, Ann. Sci. Math. Québec, (à paraître). | Zbl

(R.M.E.S.) R. Guitart, Remarques sur les machines et les structures, Cah. de Top. et Géom. Diff., XV,2, 1974. | Zbl | Numdam