@article{CTGDC_1977__18_2_105_0, author = {Reyes, Gonzalo E.}, title = {Sheaves and concepts : a model-theoretic interpretation of {Grothendieck} topoi}, journal = {Cahiers de topologie et g\'eom\'etrie diff\'erentielle}, pages = {105--137}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {18}, number = {2}, year = {1977}, mrnumber = {485337}, zbl = {0396.18002}, language = {en}, url = {http://archive.numdam.org/item/CTGDC_1977__18_2_105_0/} }
TY - JOUR AU - Reyes, Gonzalo E. TI - Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi JO - Cahiers de topologie et géométrie différentielle PY - 1977 SP - 105 EP - 137 VL - 18 IS - 2 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://archive.numdam.org/item/CTGDC_1977__18_2_105_0/ LA - en ID - CTGDC_1977__18_2_105_0 ER -
%0 Journal Article %A Reyes, Gonzalo E. %T Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi %J Cahiers de topologie et géométrie différentielle %D 1977 %P 105-137 %V 18 %N 2 %I Dunod éditeur, publié avec le concours du CNRS %U http://archive.numdam.org/item/CTGDC_1977__18_2_105_0/ %G en %F CTGDC_1977__18_2_105_0
Reyes, Gonzalo E. Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi. Cahiers de topologie et géométrie différentielle, Tome 18 (1977) no. 2, pp. 105-137. http://archive.numdam.org/item/CTGDC_1977__18_2_105_0/
Théories cohérentes et prétopos, Thèse de Maitrise, Univ. de Montréal, 1975.
,BARR, Toposes without points, J. Pure and Applied Algebra 5 (1974), 265. | MR | Zbl
BW Admissible sets, North Holland, 1976.
,Be Structures syntaxiques, Notes written by R. Ouellet, 1973.
,Bo Types vs topos, mimeog., Univ. de Montréal, 1975.
,CK Model Theory, North Holland, 1973. | Zbl
and ,D Des théories élémentaires aux catégories conceptuelles, Thèse de Maitrise, Univ. de Montréal, 1973.
,F Lectures on proof theory, Lecture Notes in Math. 70, Springer (1967). | MR | Zbl
,GU Lokal prasentierbare Kategorien, Lecture Notes in Math. 221, Springer (1971). | MR | Zbl
and ,GD Eléments de Géométrie Algébrique, Inst. H. E. S., Bures sur Yvette, 4, 8, 17, 20, 24, 28, 32 (1960 à 1967). | Numdam
and ,HA Topos annelés et Schémas relatifs, Springer, 1972. | MR | Zbl
,Hi A category approach to boolean-valued Set Theory, to appear.
,KTheory of models with generalized atomic formulas, J. Symbolic Logic 25 (1960), 1-26. | MR | Zbl
,L Continuously variable sets: Algebraic Geometry =Geometric Logic, Proc. of the Logic Coll., Bristol, 1973. | Zbl
,MR Model theoretic methods in the theory of topoi and related categories I, II, Bull. Acad. Pol. des Sciences 24 (1976), 379-392. | MR | Zbl
and ,M The completeness theorem for infinitary Logic, J. Symbolic Logic 37 (1972), 31-34. | MR | Zbl
,RS The mathematics of metamathematics, PAN, Warsaw, 1963. | MR | Zbl
and ,R From sheaves to logic, Studies in Algebraic Logic, MMA Series 9 (1975). | MR | Zbl
,ROBITAILLE-GIGUERE, Modèles d'une catégorie logique dans un topos de préfaisceaux et d'ensembles de Heyting, Thèse de Maitrise, Université de Montréal, 1975.
SGA4 Théorie des topos et co-homologie étale des schémas, Lecture Notes in Math. 269 and 270, Springer (1972). | MR
, and ,Co1 Logique d'ordre supérieur dans les topos élémentaires, Séminaire Bénabou, Paris (1974).
,Co2 Théories cohérentes et topos cohérents, Séminaire Bénabou, Paris (1975).
and ,Fo Connections between category theory and logic, Doctoral Dissertation, Oxford, 1974.
,KOCK, Universal projective geometry via topos theory, J. Pure and Applied Algebra 9 (1976), 1- 24. | MR | Zbl
L 1 Theories as categories and the completeness theorem, J. Symbolic Logic 32 (1967), 562.
,V Completeness of logical categories, Lecture Notes in Math. 445, Springer (1975).
,