@incollection{SB_1977-1978__20__123_0, author = {Cartier, Pierre}, title = {Logique, cat\'egories et faisceaux}, booktitle = {S\'eminaire Bourbaki : vol. 1977/78, expos\'es 507-524}, series = {S\'eminaire Bourbaki}, note = {talk:513}, pages = {123--146}, publisher = {Springer-Verlag}, number = {20}, year = {1979}, mrnumber = {554218}, zbl = {0406.03074}, language = {fr}, url = {http://www.numdam.org/item/SB_1977-1978__20__123_0/} }
TY - CHAP AU - Cartier, Pierre TI - Logique, catégories et faisceaux BT - Séminaire Bourbaki : vol. 1977/78, exposés 507-524 AU - Collectif T3 - Séminaire Bourbaki N1 - talk:513 PY - 1979 SP - 123 EP - 146 IS - 20 PB - Springer-Verlag UR - http://www.numdam.org/item/SB_1977-1978__20__123_0/ LA - fr ID - SB_1977-1978__20__123_0 ER -
%0 Book Section %A Cartier, Pierre %T Logique, catégories et faisceaux %B Séminaire Bourbaki : vol. 1977/78, exposés 507-524 %A Collectif %S Séminaire Bourbaki %Z talk:513 %D 1979 %P 123-146 %N 20 %I Springer-Verlag %U http://www.numdam.org/item/SB_1977-1978__20__123_0/ %G fr %F SB_1977-1978__20__123_0
Cartier, Pierre. Logique, catégories et faisceaux, in Séminaire Bourbaki : vol. 1977/78, exposés 507-524, Séminaire Bourbaki, no. 20 (1979), Talk no. 513, 24 p. http://www.numdam.org/item/SB_1977-1978__20__123_0/
[1] An elementary theory of the category of sets , Proc. Nat. Acad. Sci. U.S.A., 52(1964) , p. 1506-1511. | MR | Zbl
-[2] ---- An elementary theory of the category of sets , notes polycopiées , 43 pages , Université de Chicago , 1964. | MR
[3] ---- Adjointness in foundations , Dialectica, 23(1969) , p. 281-296.
[4] ---- Equality in hyperdoctrines and comprehension schema as an adjoint functor , Symposia Pure Maths., vol. XVII , Amer. Math. Soc. , 1970 , p. 1-14. | MR | Zbl
[5] ---- Quantifiers and sheaves , Actes du Congrès Intern. des Math., Nice , 1970 , vol. I , p. 329-334. | MR | Zbl
[6] ---- Continuously variable sets : algebraic geometry = geometric logic , in Bristol Logic Colloquium '73 , North Holland , 1975 , p. 135-156. | MR | Zbl
[7] ---- Variable quantities and variable structures in topoi , in Algebra , Topology and Category Theory (éd. A. Heller et M. Tierney) , Academic Press , 1976 , p. 101-131. | MR | Zbl
[8] Toposes , algebraic geometry and logic , Lecture Notes in Maths., vol.274 , Springer , 1972.
[9] Model theory and topoi , Lecture Notes in Maths., vol. 445 , Springer , 1975 . Voici maintenant quelques ouvrages de référence sur la logique mathématique :
[10] The calculi of lambda conversion , Annals of Math. Studies , 6 , Princeton University Press , 1941. | JFM | MR
-[11] Combinatory Logic , vol. I , North Holland , 1958. | MR | Zbl
, et -[12] Collected Papers (M. Szabo édit.) , North Holland , 1969. | MR
-[13] Frege and Gödel (Two fundamental texts in mathematical logic), Harvard University Press , 1970. | MR | Zbl
-[14] Grundzüge der theoretischen Logik , 5e édit. , Springer , 1967. | Zbl
et -[15] Introduction to Metamathematics , van Nostrand , 1952. | MR | Zbl
-[16] A course in Mathematical Logic , Springer , 1977. | MR | Zbl
-[17] Lattice theory , Colloquium Publ. , vol. XXV , 3e édit. , Amer. Math. Soc. , 1967. | MR | Zbl
-[18] Lectures on Boolean algebras , van Nostrand , 1963. | MR | Zbl
-[19] Intuitionism . An introduction , North Holland , 1956. | MR | Zbl
-[20] On closed elements in closure algebras , Ann. of Maths, 47(1946) , p. 122-162. | MR | Zbl
et -[21] Boolean algebras , Springer , 1964. | MR | Zbl
-[22] The mathematics of metamathematics , Monografie Mat. vol. 41 , Varsovie , 1963. | MR | Zbl
et -[23] Grothendieck topologies , notes polycopiées , Harvard, 1962. | Zbl
-[24] Théorie des topos et cohomologie étale des schémas (SGA 4) , Lecture Notes in Maths., vol. 269 , Springer , 1972. | MR
, et -[25] Classifying topos , dans [8] , p. 43-56. | MR | Zbl
-[26] ---- Analysis Situs [d'après Artin et Grothendieck] , Sém. Bourbaki 1962/3 , exposé 256 , 11 pages , Benjamin , 1966.
[27] Topos annelés et schémas relatifs , Springer , 1972. | MR | Zbl
-[28] Topologie algébrique et théorie des faisceaux , Hermann , 1958. | MR | Zbl
-[29] Généralités sur les topos de Lawvere et Tierney , Sém. Bénabou , Université Paris-Nord , 1971.
et -[30] Aspects of topoi , Bull. Austr. Math. Soc., 7(1972) , p. 1-76 et 467-480 . | Zbl
-[31] Topos theory , London Math. Soc. vol. 10 , Academic Press , 1977. | MR | Zbl
-[32] Topos theoretic factorization of non-standard analysis, Lecture Notes in Maths., vol. 369 , Springer , 1974 , p. 122-143. | MR | Zbl
et -[33] Elementary toposes , Aarhus Lecture Notes , vol. 30 , 1971. | MR | Zbl
et -[34] Axiomatic sheaf theory : some constructions and applications , in Categories and Commutative Algebra , C.I.M.E. III Ciclo 1971 , Edizioni Cremonese , 1973 , p. 249-326. | MR | Zbl
-[35] ---- Forcing topologies and classifying topoi , in Algebra , Topology and Category Theory (éd. A. Heller et M. Tierney) , Academic Press , 1976 , p. 211-219. | MR | Zbl
[36] Catégories et logiques faibles , Journées sur les Catégories , Oberwolfach , 1973.
-[37] Logique d'ordre supérieur dans les topos élémentaires , Sém. Bénabou , Université Paris-Nord , 1973/4.
-[38] Deductive systems and categories , I : Math. Systems Theory , 2(1968) , p. 287-318 ; II : Lecture Notes in Maths., vol.86 , Springer , 1969 , p. 76-122; III : in [8] , p. 57-82. | MR | Zbl
-[39] Boolean topoi and the theory of sets , Journ. Pure and Applied Alg., 2(1972) , p. 261-274. | MR | Zbl
-[40] Logical and set theoretical tools in elementary topoi , in [9] , p. 297-346. | MR | Zbl
-[41] ---- A note on Kripke-Joyal semantics for the internal language of topoi , in [9] , p. 349-354. | MR
[42] Logical categories , semantical categories and topoi , in [9] , p. 87-100. | MR | Zbl
-[43] Axiomatic set theory , North Holland , 1968. | MR | Zbl
et -[44] Set theory and the continuum hypothesis , Benjamin , 1966. | MR | Zbl
-[45] The consistency of the axiom of choice and the generalized continuum-hypothesis with the axioms of set theory , 4e édit. , Princeton University Press , 1958. | JFM
-[46] Modelle der Mengenlehre , Lecture Notes in Maths., vol. 37 , Springer , 1967. | MR | Zbl
-[47] An undecidable arithmetical statement , Fund. Math., 36(1949) , p. 143-164. | MR | Zbl
-[48] Simplified independence proofs (Boolean valued models of set theory), Academic Press , 1969. | MR | Zbl
-[49] Modèles booléiens et hypothèse du continu , Sém. Bourbaki 1966/7 , exposé 317 , 12 pages , Benjamin , 1968. | Numdam | Zbl
-[50] A proof of the independence of the continuum hypothesis , Math. Systems Theory , 1(1967) , p. 89-111. | MR | Zbl
-[51] Categories of sets and models of set theory , Proc. Bertrand Russell Memorial Logic Conference , Uldum 1971 , Leeds 1973 , p. 351-399. | MR
-[52] Categorical set theory : a characterization of the category of sets , Journ. Pure and Applied Alg., 4(1974) , p. 79-119. | MR | Zbl
-[53] Sheaf theory and the continuum hypothesis , in [8] , p. 13-42. | MR | Zbl
-