@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}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {4}, year = {1980}, mrnumber = {684746}, zbl = {0508.03030}, language = {fr}, url = {http://archive.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 - http://archive.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 http://archive.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. http://archive.numdam.org/item/DIA_1980__4__1_0/
(C.A.L.O.) Catégories localisables, Thèse, Paris, 1977.
,(D.E.L.C.) Décompositions et lax-complétions, Cahiers de Top. et Géom. Diff., XVIII,4, 1977. | Numdam | Zbl
et ,(E.G.C.E.) Etude générale de la catégorie des esquisses, Esquisses Math. 23, Paris, 1975. | Zbl
,(E.T.S.A.) Esquisses et types de structures algébriques, Bul. Instit. Polit., Iasi, XIV, 1968. | Zbl
,(F.A.U.C.) Formulas and ultraproducts in categories, Beit. zur Alg. und Geom., 8, 1979. | Zbl
et ,(F.O.C.L.) First order categorical logic, Lect. Notes in Math. 611, 1977. | Zbl
et ,(F.O.S.A.) Foncteurs d'omission de structures algébriques, Cah. de Top. et Géom. Diff., XII,2, 1971. | Numdam
,(G.M.E.N.) Graphes multiplicatifs enrichis, Esquisses Math. 27, Amiens, 1978. | Zbl
,(I.F.O.F.) Injectivity in categories to represent all first order formulas, I, Dem. Math., XII, 3, 1979. | Zbl
et ,(L.P.L.G.) Locally presentable and locally generated categories, Lect. Notes in Math. 195, 1971. | MR | Zbl
,(O.C.U.C.) Objets cohérents et ultraproduits dans les catégories, Journ. of Alg., 21,3, 1972. | MR | Zbl
et ,(R.E.C.E.) Relations et carrés exacts, Ann. Sci. Math. Québec, (à paraître). | Zbl
,(R.M.E.S.) Remarques sur les machines et les structures, Cah. de Top. et Géom. Diff., XV,2, 1974. | Numdam | Zbl
,