@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}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {7}, year = {1982}, mrnumber = {685055}, zbl = {0535.03013}, language = {fr}, url = {http://archive.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 - http://archive.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 http://archive.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. http://archive.numdam.org/item/DIA_1982__7__A4_0/
(C.M.C.F.) Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, Paris ( 1980), | Numdam | MR | Zbl
et ,(C.Y.A.L.) Cylindric algebras, Part I, North-Holland ( 1971).
, et ,(E.D.L.M.) Eléments de logique mathématique, Dunod, Paris ( 1967). | Zbl
et ,(E.G.C.E.) Etude générale de la catégorie des esquisses, Esquisses Mathématiques 23, Paris ( 1975), | Zbl
,(E.T.S.A.) Esquisses et types de structures algébriques, Bul. Instit. Polit., Iaşi XIV ( 1968). | Zbl
,(F.A.U.C) Formulas and ultraproducts in categories, Beit. zur Alg. und Geom. 8 ( 1979). | Zbl
et ,(I.F.O.F.) Injectivity in categories to represent all first order formulas I, Dem. Math. XII-3 ( 1979). | Zbl
et ,(R.M.S.S.) Critères de rigidification des morphismes souples entre structures internes, Diagrammes 5, Paris ( 1981). | Numdam | MR | Zbl
et ,