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.
@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/

A.W. Antonius, Théories cohérentes et prétopos, Thèse de Maitrise, Univ. de Montréal, 1975.

Ba M. BARR, Toposes without points, J. Pure and Applied Algebra 5 (1974), 265. | MR | Zbl

BW J. Barwise, Admissible sets, North Holland, 1976.

Be J. Benabou, Structures syntaxiques, Notes written by R. Ouellet, 1973.

Bo A. Boileau, Types vs topos, mimeog., Univ. de Montréal, 1975.

CK C.C. Chang and H.J. Keisler, Model Theory, North Holland, 1973. | Zbl

D J. Dionne, Des théories élémentaires aux catégories conceptuelles, Thèse de Maitrise, Univ. de Montréal, 1973.

F S. Feferman, Lectures on proof theory, Lecture Notes in Math. 70, Springer (1967). | MR | Zbl

GU P. Gabriel and F. Ulmer, Lokal prasentierbare Kategorien, Lecture Notes in Math. 221, Springer (1971). | MR | Zbl

GD A. Grothendieck and J. Dieudonne, 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 M. Hakim, Topos annelés et Schémas relatifs, Springer, 1972. | MR | Zbl

Hi D. Higgs, A category approach to boolean-valued Set Theory, to appear.

KH.J. Keisler, Theory of models with generalized atomic formulas, J. Symbolic Logic 25 (1960), 1-26. | MR | Zbl

L F.W. Lawvere, Continuously variable sets: Algebraic Geometry =Geometric Logic, Proc. of the Logic Coll., Bristol, 1973. | Zbl

MR M. Makkai and G.E. Reyes, Model theoretic methods in the theory of topoi and related categories I, II, Bull. Acad. Pol. des Sciences 24 (1976), 379-392. | MR | Zbl

M R. Mansfield, The completeness theorem for infinitary Logic, J. Symbolic Logic 37 (1972), 31-34. | MR | Zbl

RS H. Rasiowa and R. Sikorski, The mathematics of metamathematics, PAN, Warsaw, 1963. | MR | Zbl

R G.E. Reyes, From sheaves to logic, Studies in Algebraic Logic, MMA Series 9 (1975). | MR | Zbl

Ro M. 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 M. Artin, A. Grothendieck and J.L. Verdier, Théorie des topos et co-homologie étale des schémas, Lecture Notes in Math. 269 and 270, Springer (1972). | MR

Co1 M. Coste, Logique d'ordre supérieur dans les topos élémentaires, Séminaire Bénabou, Paris (1974).

Co2 M.F. Coste and M. Coste, Théories cohérentes et topos cohérents, Séminaire Bénabou, Paris (1975).

Fo M. Fourman, Connections between category theory and logic, Doctoral Dissertation, Oxford, 1974.

Ko A. KOCK, Universal projective geometry via topos theory, J. Pure and Applied Algebra 9 (1976), 1- 24. | MR | Zbl

L 1 F.W. Lawvere, Theories as categories and the completeness theorem, J. Symbolic Logic 32 (1967), 562.

V H. Volger, Completeness of logical categories, Lecture Notes in Math. 445, Springer (1975).