Calcul syntaxique des modèles et calcul des formules internes
Diagrammes, Volume 4 (1980), p. GL1-GL106
@article{DIA_1980__4__1_0,
     author = {Guitart, Ren\'e and Lair, C.},
     title = {Calcul syntaxique des mod\`eles et calcul des formules internes},
     journal = {Diagrammes},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {4},
     year = {1980},
     pages = {GL1-GL106},
     zbl = {0508.03030},
     mrnumber = {684746},
     language = {fr},
     url = {http://www.numdam.org/item/DIA_1980__4__1_0}
}
Guitart, R.; Lair, C. Calcul syntaxique des modèles et calcul des formules internes. Diagrammes, Volume 4 (1980) pp. GL1-GL106. http://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. | Numdam | Zbl 0381.18012

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

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

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

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

(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 0377.18003

(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 0517.03029

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

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

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

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