On the geometry of computations, II

René Guitart

Cahiers de Topologie et Géométrie Différentielle Catégoriques (1988)

  • Volume: 29, Issue: 4, page 297-326
  • ISSN: 1245-530X

How to cite

top

Guitart, René. "On the geometry of computations, II." Cahiers de Topologie et Géométrie Différentielle Catégoriques 29.4 (1988): 297-326. <http://eudml.org/doc/91428>.

@article{Guitart1988,
author = {Guitart, René},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {models in a category; sketches; sketch of fields; topological fields; ultraproducts; mixed limits; locally free diagrams; finite sketches; Arithmetic; Boolean algebra; locally free diagram construction},
language = {eng},
number = {4},
pages = {297-326},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {On the geometry of computations, II},
url = {http://eudml.org/doc/91428},
volume = {29},
year = {1988},
}

TY - JOUR
AU - Guitart, René
TI - On the geometry of computations, II
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1988
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 29
IS - 4
SP - 297
EP - 326
LA - eng
KW - models in a category; sketches; sketch of fields; topological fields; ultraproducts; mixed limits; locally free diagrams; finite sketches; Arithmetic; Boolean algebra; locally free diagram construction
UR - http://eudml.org/doc/91428
ER -

References

top
  1. 1, H. Andreka & I. Nemeti, Formulas and ultraproducts in categories, Beit. zur Alg u Geom8 (1979) Zbl0531.03042MR571360
  2. 2, H. Crapo & J. Ryan, Spatial realizations of linear scenes, Topologie Structurale13 (1986). Zbl0612.51004MR880673
  3. 3, S., Fakir& L., Haddad, Objets cohérents et ultraproduits dans les catégories, J, ofAlgebra21-3 (1972). Zbl0248.18021MR311742
  4. 4, C. Ehresmann, Esquisses et types de structures algébriques, Bull. Inst. Polit. IasiXIV (1968), reprinted in [5], Zbl0196.03102MR238918
  5. 5, C. Ehresmann, Oeuvres complètes et commentées, Part IV (Ed, A, C, Ehresmann), Amiens1982, Zbl0561.01028
  6. 6, L. Henkin, J.D. Monk, A. Tarski, H, Andreka & I. Nemeti, Cylindric set algebras, Lecture Notes in Math, 883, Springer (1981), Zbl0497.03025MR639151
  7. 7, R. Guitart, On the geometry of computations, Cahiers Top. et Géom. Diff.XXVII-4 (1986), 107-136, Zbl0615.18001MR885373
  8. 8, R. Guitart, Remarques sur les machines et les structures, Cahiers Top. et Géom. Diff.XXV-2 (1974). Zbl0319.18003MR384891
  9. 9, R. Guitart & L. van den BRIL, Decompositions et lax-complétions, Cahiers Top. et Géom. Diff.XVIII-4 (1977), 333-407, Zbl0381.18012MR470016
  10. 10, R. Guitart, Logiques, relations et structures dans les catégories, Thèse de Doctorat d'Etat, Université de Picardie, 1979, 
  11. 11, R. Guitart, Introduction à l'Analyse algébrique, Math. Sc. Hum.27° année, n° 96 (1986), 49-63, Zbl0617.18001MR878297
  12. 12, R. Guitart & C. Lair: a, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes4 (1980), 106 p, Zbl0508.03030MR684746
  13. b, Existence de diagrammes localement libres, Diagrammes6 (1981), 13 p, Zbl0496.18005MR684534
  14. c, Limites et colimites pour représenter les formules, Diagrammes7 (1982), 24 p, Zbl0535.03013
  15. 13, Makkai & G. Reyes, First order categorical logic, Lecture Notes in Math, 611, Springer (1977), Zbl0357.18002MR505486
  16. 14, R., Pare, Absoluteness property in category theory, PhD Thesis, McGill University, 1969, 

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.