Limites et co-limites pour représenter les formules
Diagrammes, Tome 7 (1982), Exposé no. 4, 24 p. 
@article{DIA_1982__7__A4_0,
     author = {Guitart, R. and Lair, C.},
     title = {Limites et co-limites pour repr\'esenter les formules},
     journal = {Diagrammes},
     note = {talk:4},
     pages = {GL1--GL24},
     year = {1982},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {7},
     mrnumber = {685055},
     zbl = {0535.03013},
     language = {fr},
     url = {https://www.numdam.org/item/DIA_1982__7__A4_0/}
}
TY  - JOUR
AU  - Guitart, R.
AU  - Lair, C.
TI  - Limites et co-limites pour représenter les formules
JO  - Diagrammes
N1  - talk:4
PY  - 1982
SP  - GL1
EP  - GL24
VL  - 7
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - https://www.numdam.org/item/DIA_1982__7__A4_0/
LA  - fr
ID  - DIA_1982__7__A4_0
ER  - 
%0 Journal Article
%A Guitart, R.
%A Lair, C.
%T Limites et co-limites pour représenter les formules
%J Diagrammes
%Z talk:4
%D 1982
%P GL1-GL24
%V 7
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U https://www.numdam.org/item/DIA_1982__7__A4_0/
%G fr
%F DIA_1982__7__A4_0
Guitart, R.; Lair, C. Limites et co-limites pour représenter les formules. Diagrammes, Tome 7 (1982), Exposé no. 4, 24 p.. https://www.numdam.org/item/DIA_1982__7__A4_0/

(C.M.C.F.) R. Guitart et C. Lair, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, Paris ( 1980), | Zbl | MR | Numdam

(C.Y.A.L.) L. Henkin, J. Monk et A. Tarski, Cylindric algebras, Part I, North-Holland ( 1971).

(E.D.L.M.) G. Kreisel et J.-L. Krivine, Eléments de logique mathématique, Dunod, Paris ( 1967). | Zbl

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

(E.T.S.A.) C. Ehresmann, Esquisses et types de structures algébriques, Bul. Instit. Polit., Iaşi 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

(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

(R.M.S.S.) R. Guitartet C. Lair, Critères de rigidification des morphismes souples entre structures internes, Diagrammes 5, Paris ( 1981). | Zbl | MR | Numdam