@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},
year = {1977},
publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
volume = {18},
number = {2},
mrnumber = {485337},
zbl = {0396.18002},
language = {en},
url = {https://www.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 - https://www.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 https://www.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. https://www.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. | Zbl | MR
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 and , Model Theory, North Holland, 1973. | Zbl
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). | Zbl | MR
GU and , Lokal prasentierbare Kategorien, Lecture Notes in Math. 221, Springer (1971). | Zbl | MR
GD and , 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
HA , Topos annelés et Schémas relatifs, Springer, 1972. | Zbl | MR
Hi , A category approach to boolean-valued Set Theory, to appear.
K, Theory of models with generalized atomic formulas, J. Symbolic Logic 25 (1960), 1-26. | Zbl | MR
L , Continuously variable sets: Algebraic Geometry =Geometric Logic, Proc. of the Logic Coll., Bristol, 1973. | Zbl
MR and , Model theoretic methods in the theory of topoi and related categories I, II, Bull. Acad. Pol. des Sciences 24 (1976), 379-392. | Zbl | MR
M , The completeness theorem for infinitary Logic, J. Symbolic Logic 37 (1972), 31-34. | Zbl | MR
RS and , The mathematics of metamathematics, PAN, Warsaw, 1963. | Zbl | MR
R , From sheaves to logic, Studies in Algebraic Logic, MMA Series 9 (1975). | Zbl | MR
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 , and , Théorie des topos et co-homologie étale des schémas, Lecture Notes in Math. 269 and 270, Springer (1972). | MR
Co1 , Logique d'ordre supérieur dans les topos élémentaires, Séminaire Bénabou, Paris (1974).
Co2 and , Théories cohérentes et topos cohérents, Séminaire Bénabou, Paris (1975).
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. | Zbl | MR
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).
