Calcul syntaxique des modèles et calcul des formules internes

R. Guitart; C. Lair

Diagrammes (1980)

  • Volume: 4, page GL1-GL106
  • ISSN: 0224-3911

How to cite

top

Guitart, R., and Lair, C.. "Calcul syntaxique des modèles et calcul des formules internes." Diagrammes 4 (1980): GL1-GL106. <http://eudml.org/doc/192976>.

@article{Guitart1980,
author = {Guitart, R., Lair, C.},
journal = {Diagrammes},
keywords = {sketch; projective and inductive cones; realization of a sketch; sketchable categories; set-valued realization of a sketch; ultraproducts; internal formulas; Kan extensions; logic of topoi},
language = {fre},
pages = {GL1-GL106},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Calcul syntaxique des modèles et calcul des formules internes},
url = {http://eudml.org/doc/192976},
volume = {4},
year = {1980},
}

TY - JOUR
AU - Guitart, R.
AU - Lair, C.
TI - Calcul syntaxique des modèles et calcul des formules internes
JO - Diagrammes
PY - 1980
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 4
SP - GL1
EP - GL106
LA - fre
KW - sketch; projective and inductive cones; realization of a sketch; sketchable categories; set-valued realization of a sketch; ultraproducts; internal formulas; Kan extensions; logic of topoi
UR - http://eudml.org/doc/192976
ER -

References

top
  1. (C.A.L.O.) Y. Diers, Catégories localisables, Thèse, Paris, 1977. 
  2. (D.E.L.C.) R. Guitart et L. Van Den Bril, Décompositions et lax-complétions, Cahiers de Top. et Géom. Diff., XVIII,4, 1977. Zbl0381.18012
  3. (E.G.C.E.) C. Lair, Etude générale de la catégorie des esquisses, Esquisses Math. 23, Paris, 1975. Zbl0397.18007
  4. (E.T.S.A.) C. Ehresmann, Esquisses et types de structures algébriques, Bul. Instit. Polit., Iasi, XIV, 1968. Zbl0196.03102
  5. (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
  6. (F.O.C.L.) M. Makkaiet G. Reyes, First order categorical logic, Lect. Notes in Math. 611, 1977. Zbl0357.18002
  7. (F.O.S.A.) C. Lair, Foncteurs d'omission de structures algébriques, Cah. de Top. et Géom. Diff., XII,2, 1971. Zbl0222.18010
  8. (G.M.E.N.) F. Cary, Graphes multiplicatifs enrichis, Esquisses Math. 27, Amiens, 1978. Zbl0377.18003
  9. (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
  10. (L.P.L.G.) F. Ulmer, Locally presentable and locally generated categories, Lect. Notes in Math. 195, 1971. Zbl0225.18005MR292908
  11. (O.C.U.C.) S. Fakiret L. Haddad, Objets cohérents et ultraproduits dans les catégories, Journ. of Alg., 21,3, 1972. Zbl0248.18021MR311742
  12. (R.E.C.E.) R. Guitart, Relations et carrés exacts, Ann. Sci. Math. Québec, (à paraître). Zbl0495.18008
  13. (R.M.E.S.) R. Guitart, Remarques sur les machines et les structures, Cah. de Top. et Géom. Diff., XV,2, 1974. Zbl0319.18003

Citations in EuDML Documents

top
  1. C. Lair, Catégories modelables et catégories esquissables
  2. René Guitart, Introduction à l'analyse algébrique
  3. R. Guitart, Introduction à l'analyse algébrique. II. Algèbres figuratives et esquisses
  4. Bui Huy Hien, I. Sain, In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?
  5. Pierre Ageron, Les catégories localement (multi)présentables comme domaines de Scott
  6. C. Lair, Diagrammes localement libres extensions de corps et théorie de Galois
  7. François Foltz, Sur l'existence d'espaces affinés à groupes de translations non commutatifs
  8. R. Guitart, C. Lair, Limites et co-limites pour représenter les formules
  9. C. Lair, Sesqui-monades et monades locales
  10. R. Guitart, C. Lair, Existence de diagrammes localement libres

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.