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, Ren\'e and Lair, C.},
     title = {Limites et co-limites pour repr\'esenter les formules},
     journal = {Diagrammes},
     note = {talk:4},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {7},
     year = {1982},
     zbl = {0535.03013},
     mrnumber = {685055},
     language = {fr},
     url = {http://www.numdam.org/item/DIA_1982__7__A4_0/}
}
TY  - JOUR
AU  - Guitart, René
AU  - Lair, C.
TI  - Limites et co-limites pour représenter les formules
JO  - Diagrammes
N1  - talk:4
PY  - 1982
DA  - 1982///
VL  - 7
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://www.numdam.org/item/DIA_1982__7__A4_0/
UR  - https://zbmath.org/?q=an%3A0535.03013
UR  - https://www.ams.org/mathscinet-getitem?mr=685055
LA  - fr
ID  - DIA_1982__7__A4_0
ER  - 
Guitart, R.; Lair, C. Limites et co-limites pour représenter les formules. Diagrammes, Tome 7 (1982), Exposé no. 4, 24 p. http://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), | Numdam | MR 684746 | Zbl 0508.03030

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

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

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

(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

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