×

Sheaves and concepts: A modeltheoretic interpretation of Grothendieck topoi. (English) Zbl 0396.18002


MSC:

18B25 Topoi
18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
18A15 Foundations, relations to logic and deductive systems
18F10 Grothendieck topologies and Grothendieck topoi
03C65 Models of other mathematical theories

Citations:

Zbl 0357.18002
PDFBibTeX XMLCite
Full Text: Numdam EuDML

References:

[1] A.W. Antonius , Théories cohérentes et prétopos , Thèse de Maitrise, Univ. de Montréal , 1975 .
[2] Ba M. BARR, Toposes without points , J. Pure and Applied Algebra 5 ( 1974 ), 265 . MR 409602 | Zbl 0294.18009 · Zbl 0294.18009
[3] BW J. Barwise , Admissible sets , North Holland , 1976 . · Zbl 0215.31806
[4] Be J. Benabou , Structures syntaxiques, Notes written by R. Ouellet , 1973 .
[5] Bo A. Boileau , Types vs topos, mimeog ., Univ. de Montréal , 1975 .
[6] CK C.C. Chang and H.J. Keisler , Model Theory , North Holland , 1973 . Zbl 0697.03022 · Zbl 0697.03022
[7] D J. Dionne , Des théories élémentaires aux catégories conceptuelles , Thèse de Maitrise, Univ. de Montréal , 1973 .
[8] F S. Feferman , Lectures on proof theory , Lecture Notes in Math. 70 , Springer ( 1967 ). MR 235996 | Zbl 0248.02033 · Zbl 0248.02033
[9] GU P. Gabriel and F. Ulmer , Lokal prasentierbare Kategorien , Lecture Notes in Math. 221 , Springer ( 1971 ). MR 327863 | Zbl 0225.18004 · Zbl 0225.18004
[10] 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
[11] HA M. Hakim , Topos annelés et Schémas relatifs , Springer , 1972 . MR 364245 | Zbl 0246.14004 · Zbl 0246.14004
[12] Hi D. Higgs , A category approach to boolean-valued Set Theory , to appear. · Zbl 0208.29202
[13] K H.J. Keisler , Theory of models with generalized atomic formulas , J. Symbolic Logic 25 ( 1960 ), 1 - 26 . MR 130169 | Zbl 0107.00803 · Zbl 0107.00803
[14] L F.W. Lawvere , Continuously variable sets: Algebraic Geometry =Geometric Logic , Proc. of the Logic Coll., Bristol , 1973 . Zbl 0364.18002 · Zbl 0364.18002
[15] 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 422016 | Zbl 0337.18005 · Zbl 0337.18005
[16] M R. Mansfield , The completeness theorem for infinitary Logic , J. Symbolic Logic 37 ( 1972 ), 31 - 34 . MR 398773 | Zbl 0244.02005 · Zbl 0244.02005
[17] RS H. Rasiowa and R. Sikorski , The mathematics of metamathematics , PAN , Warsaw , 1963 . MR 163850 | Zbl 0122.24311 · Zbl 0122.24311
[18] R G.E. Reyes , From sheaves to logic , Studies in Algebraic Logic , MMA Series 9 ( 1975 ). MR 360735 | Zbl 0344.02042 · Zbl 0344.02042
[19] 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 .
[20] 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 354653
[21] Co1 M. Coste , Logique d’ordre supérieur dans les topos élémentaires , Séminaire Bénabou , Paris ( 1974 ).
[22] Co2 M.F. Coste and M. Coste , Théories cohérentes et topos cohérents , Séminaire Bénabou , Paris ( 1975 ).
[23] Fo M. Fourman , Connections between category theory and logic , Doctoral Dissertation, Oxford , 1974 .
[24] Ko A. KOCK, Universal projective geometry via topos theory , J. Pure and Applied Algebra 9 ( 1976 ), 1 - 24 . MR 430955 | Zbl 0375.02016 · Zbl 0375.02016
[25] L 1 F.W. Lawvere , Theories as categories and the completeness theorem , J. Symbolic Logic 32 ( 1967 ), 562 .
[26] V H. Volger , Completeness of logical categories , Lecture Notes in Math. 445 , Springer ( 1975 ). · Zbl 0338.18001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.