Limites et co-limites pour représenter les formules

R. Guitart; C. Lair

Diagrammes (1982)

  • Volume: 7, page GL1-GL24
  • ISSN: 0224-3911

How to cite

top

Guitart, R., and Lair, C.. "Limites et co-limites pour représenter les formules." Diagrammes 7 (1982): GL1-GL24. <http://eudml.org/doc/192991>.

@article{Guitart1982,
author = {Guitart, R., Lair, C.},
journal = {Diagrammes},
keywords = {sketchable groupoids; first order theories; limits; co-limits},
language = {fre},
pages = {GL1-GL24},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Limites et co-limites pour représenter les formules},
url = {http://eudml.org/doc/192991},
volume = {7},
year = {1982},
}

TY - JOUR
AU - Guitart, R.
AU - Lair, C.
TI - Limites et co-limites pour représenter les formules
JO - Diagrammes
PY - 1982
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 7
SP - GL1
EP - GL24
LA - fre
KW - sketchable groupoids; first order theories; limits; co-limits
UR - http://eudml.org/doc/192991
ER -

References

top
  1. (C.M.C.F.) R. Guitart et C. Lair, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, Paris ( 1980), Zbl0508.03030MR684746
  2. (C.Y.A.L.) L. Henkin, J. Monk et A. Tarski, Cylindric algebras, Part I, North-Holland ( 1971). Zbl0576.03043
  3. (E.D.L.M.) G. Kreisel et J.-L. Krivine, Eléments de logique mathématique, Dunod, Paris ( 1967). Zbl0146.00703
  4. (E.G.C.E.) C. Lair, Etude générale de la catégorie des esquisses, Esquisses Mathématiques 23, Paris ( 1975), Zbl0397.18007
  5. (E.T.S.A.) C. Ehresmann, Esquisses et types de structures algébriques, Bul. Instit. Polit., Iaşi XIV ( 1968). Zbl0196.03102
  6. (F.A.U.C) H. Andréka et I. Németi, Formulas and ultraproducts in categories, Beit. zur Alg. und Geom. 8 ( 1979). Zbl0531.03042
  7. (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). Zbl0517.03029
  8. (R.M.S.S.) R. Guitartet C. Lair, Critères de rigidification des morphismes souples entre structures internes, Diagrammes 5, Paris ( 1981). Zbl0514.18005MR684749

Citations in EuDML Documents

top
  1. Matthias Gerner, Pour une typologie discursive via la théorie des esquisses
  2. C. Lair, Sesqui-monades et monades locales
  3. S. K. Lellahi, Categorical abstract data type (CADT)
  4. F. Mouen, Sur la caractérisation sémantique des catégories de structures
  5. René Guitart, Construction of an homology and a cohomology theory associated to a first order formula
  6. C. Lair, Sur le profil d'esquissabilité des catégories modelables (accessibles) possédant les noyaux
  7. Marie Bjerrum, A Sketch theoretical survey Towards a typology of mathematical structures
  8. R. Guitart, C. Lair, Existence de diagrammes localement libres II
  9. E. Touratier, Étude du typage dans le système de calcul scientifique Aldor
  10. René Guitart, On the geometry of computations

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.