De l'infinitésimal au local (Thèse de Doctorat d'État)

 Access to full text

 Full (PDF)

1. [1] M. Artin, A. Grothendieck, J.L. Verdier : "Théorie des topos et cohomologie étale des Schémas" (SGA 4), Lecture Notes in Math. n°269, Springer. 
2. [2] J. Bénabou : "Fibrations petites et localement petites" C.R. Acad. Sci. Paris 281 pp. 897-900 ( 1975). Zbl0349.18006MR393181
3. [3] J. Bénabou : "Des catégories fibrées". Livre en préparation. 
4. [4] A. Boileau : "Types versus Topos". Ph. D. Thèse, Université de Montréal ( 1975). 
5. [5] N. Bourbaki : "Algèbre Commutative", Eléments de Math. Chap. III, Hermann, Paris. Zbl0141.03501
6. [6] M. Bunge : "Synthetic aspects of C∞-mappings"J. Pure and Applied Algebra, 28 pp. 41-63 ( 1983). Zbl0531.18005MR692851
7. [7] M. Coste : "Logique d'ordre supérieur dans les topos élémentaires". Séminaire Bénabou, Université Paris-Nord ( 1974). 
8. [8] M. Coste : "Une approche logique des théories définissables par limites projectives finies". Séminaire de théorie des catégories (J. Bénabou), Univ. Paris-Nord ( 1976). 
9. [9] M. Demazure et A. Grothendieck : "Schémas en Groupes I" (SGA 3 ), Lecture Notes in Math. n°151, Springer. Zbl0207.51401
10. [10] E.J. Dubuc : "Sur les Modèles de la Géométrie Différentielle Synthétique", Cahiers de Topo, et Géom. Diff. Vol. XX-3, ( 1979) pp. 231-279. Zbl0473.18008MR557083
11. [11] E.J. Dubuc : "C∞-schemes", Amer. J. Math. 103 (4), ( 1981). Zbl0483.58003MR623133
12. [12] E.J. Dubuc : "Open covers and infinitary operations in C∞-rings" Cahiers de Top. et Géom. Diff. 22, pp. 287-300 ( 1981). Zbl0472.18008MR649077
13. [13] E.J. Dubuc et J. Penon : "Objets compacts dans les topos" Trabajos de Matematica n°60. I.A.M. c. c. 1727, 1000 Buenos Aires ( 1984). Zbl0614.18004
14. [14] M. Dummet : "Elements of intuitionism" Clarendon Press-Oxford ( 1977). Zbl0358.02032MR498017
15. [15] M. Fourman : "Joyal's proof that a provable function is provably continuous" Preprint ( 1979). 
16. [16] R. Godement : "Topologie Algébrique et Théorie des Faisceaux" Hermann, Paris ( 1958). Zbl0080.16201MR102797
17. [17] R.J. Grayson : "Intuitionistic set theory", Ph.D. Thesis, ( 1978). Zbl0419.03033
18. [18] A. Grothendieck : "Revêtements Etales et Groupe Fondamental" (SGA 1) Lecture Notes in Math. n°224, Springer. MR2017446
19. [19] M. Hakim : "Topos annelés et schémas relatifs", Ergebnisse der Math. 64, Springer Verlag ( 1972). Zbl0246.14004MR364245
20. [20] P.T. Johnstone : "Topos Theory". London Math. Society, Monographs n°10, Academic Press ( 1977). Zbl0368.18001MR470019
21. [21] P.T. Johnstone : "Regular reflections of discrete locales" Conférence du Cambridge Summer Meeting In category Theory ( 1981). 
22. [22] A. Kock : "Universal projective geometry via topos theory" J. Pure and Applied Algebra, 9 ( 1976), 1-24. Zbl0375.02016MR430955
23. [23] A. Kock : "Synthetic Differential Geometry" London Math. Society, L.N.S. 51. Cambrige univ. press ( 1981). Zbl0466.51008MR649622
24. [24] A. Kock and G.E. Reyes : "Manifolds in formal differential geometry", in Applications of Sheaves, Proceedings Durham 1977, Lecture Notes in Math. 753, Springer Verlag ( 1979). Zbl0426.14001MR555559
25. [25] C. Lair : "Etude générale de la catégorie des esquisses" Esquisses Math. n°23, ( 1975). Zbl0397.18007MR422385
26. [26] F.W. Lawvere : "Categorical Dynamics" Various Publication séries 30, pp. 1-28. Matematisk Institut, Aarhus ( 1979). Zbl0403.18005MR552656
27. [27] M. Makkai et G. Reyes : "First-Order Categorical Logic", Lecture Notes in Math. 611, Springer-Verlag ( 1977). Zbl0357.18002MR505486
28. [28] J.S. Milne : "Etale Cohomology" Princeton University Press, n°33 ( 1980). Zbl0433.14012MR559531
29. [29] I. Moerdijk and G.E. Reyes : "Smooth spaces versus continuous spaces in models for synthetic differential geometry" ( 1983) Report 83-02. Univ. of Amsterdam. Zbl0535.18003MR741963
30. [30] J.P. Murre : "Lectures on an introduction to Grothendieck's theory of the fundamental Group" Tata Institute of Fundamental Research, Bombay ( 1967). Zbl0198.26202MR302650
31. [31] G. Osius : "Logical and set theoretical methods in elementary topoï" Model Theory and Topoï. Springer Lecture Notes n°445 ( 1975). Zbl0348.18002
32. [32] J. Penon : "Infinitesimaux et intuitionnisme", cahiers de Top. et Géom. Diff. 22 ( 1981), 67-72. Zbl0463.18005MR609161
33. [33] J. Penon : "Topologie et intuitionnisme", Journées Faisceaux et Logique Mai 81, Univ. Paris-Nord, pré-publications math. ( 1982). 
34. [34] J. Penon : Le "théorème d'inversion locale en géométrie algébrique", Journées Faisceaux et Logique, Mai 1982, Univ. Louvain La Neuve, pré-publications math. ( 1982). 
35. [35] M. Raynaud : "Anneaux locaux henséliens". Lecture Notes in Math. n°169 Springer. Zbl0203.05102MR277519
36. [36] G. Reyes (éditeur) "Analyse C∞", Géométrie Différentielle Synthétique, Rapport de Recherches du Dépt. de Math, et de Stat. 80-12, Univ. de Montréal ( 1980). 
37. [37] A. Robinson : "Non Standard Analysis" North-Holland ( 1966). Zbl0151.00803MR205854
38. [38] J.C. Tougeron : "Idéaux de fonctions différentiables", Ergebnisse der Math, Springer Verlag ( 1972). Zbl0251.58001MR440598
39. [39] A. Weil : "Théorie des points proches sur les variétés différentiables", in Colloq. Top. et Géom. Diff., Strasbourg ( 1953) pp. 111-117. Zbl0053.24903MR61455