@article{DIA_1985__S13__1_0, author = {Penon, Jacques}, title = {De l'infinit\'esimal au local {(Th\`ese} de {Doctorat} {d'\'Etat)}}, journal = {Diagrammes}, pages = {1--191}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {S13}, year = {1985}, mrnumber = {798526}, zbl = {0558.18003}, language = {fr}, url = {http://www.numdam.org/item/DIA_1985__S13__1_0/} }
TY - JOUR AU - Penon, Jacques TI - De l'infinitésimal au local (Thèse de Doctorat d'État) JO - Diagrammes PY - 1985 SP - 1 EP - 191 VL - S13 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://www.numdam.org/item/DIA_1985__S13__1_0/ LA - fr ID - DIA_1985__S13__1_0 ER -
Penon, Jacques. De l'infinitésimal au local (Thèse de Doctorat d'État). Diagrammes, Volume S13 (1985), pp. 1-191. http://www.numdam.org/item/DIA_1985__S13__1_0/
[1] "Théorie des topos et cohomologie étale des Schémas" (SGA 4), Lecture Notes in Math. n°269, Springer.
, , :[2] "Fibrations petites et localement petites" C.R. Acad. Sci. Paris 281 pp. 897-900 ( 1975). | MR | Zbl
:[3] "Des catégories fibrées". Livre en préparation.
:[4] "Types versus Topos". Ph. D. Thèse, Université de Montréal ( 1975).
:[5] "Algèbre Commutative", Eléments de Math. Chap. III, Hermann, Paris.
:[6] "Synthetic aspects of C∞-mappings"J. Pure and Applied Algebra, 28 pp. 41-63 ( 1983). | MR | Zbl
:[7] "Logique d'ordre supérieur dans les topos élémentaires". Séminaire Bénabou, Université Paris-Nord ( 1974).
:[8] "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] "Schémas en Groupes I" (SGA 3 ), Lecture Notes in Math. n°151, Springer. | Zbl
et :[10] "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. | Numdam | MR | Zbl
:[11] "C∞-schemes", Amer. J. Math. 103 (4), ( 1981). | MR | Zbl
:[12] "Open covers and infinitary operations in C∞-rings" Cahiers de Top. et Géom. Diff. 22, pp. 287-300 ( 1981). | Numdam | MR | Zbl
:[13] "Objets compacts dans les topos" Trabajos de Matematica n°60. I.A.M. c. c. 1727, 1000 Buenos Aires ( 1984).
et :[14] "Elements of intuitionism" Clarendon Press-Oxford ( 1977). | MR | Zbl
:[15] "Joyal's proof that a provable function is provably continuous" Preprint ( 1979).
:[16] "Topologie Algébrique et Théorie des Faisceaux" Hermann, Paris ( 1958). | MR | Zbl
:[17] "Intuitionistic set theory", Ph.D. Thesis, ( 1978).
:[18] "Revêtements Etales et Groupe Fondamental" (SGA 1) Lecture Notes in Math. n°224, Springer. | MR
:[19] "Topos annelés et schémas relatifs", Ergebnisse der Math. 64, Springer Verlag ( 1972). | MR | Zbl
:[20] "Topos Theory". London Math. Society, Monographs n°10, Academic Press ( 1977). | MR | Zbl
:[21] "Regular reflections of discrete locales" Conférence du Cambridge Summer Meeting In category Theory ( 1981).
:[22] "Universal projective geometry via topos theory" J. Pure and Applied Algebra, 9 ( 1976), 1-24. | MR | Zbl
:[23] "Synthetic Differential Geometry" London Math. Society, L.N.S. 51. Cambrige univ. press ( 1981). | MR | Zbl
:[24] "Manifolds in formal differential geometry", in Applications of Sheaves, Proceedings Durham 1977, Lecture Notes in Math. 753, Springer Verlag ( 1979). | MR | Zbl
and :[25] "Etude générale de la catégorie des esquisses" Esquisses Math. n°23, ( 1975). | MR | Zbl
:[26] "Categorical Dynamics" Various Publication séries 30, pp. 1-28. Matematisk Institut, Aarhus ( 1979). | MR | Zbl
:[27] "First-Order Categorical Logic", Lecture Notes in Math. 611, Springer-Verlag ( 1977). | MR | Zbl
et :[28] "Etale Cohomology" Princeton University Press, n°33 ( 1980). | MR | Zbl
:[29] "Smooth spaces versus continuous spaces in models for synthetic differential geometry" ( 1983) Report 83-02. Univ. of Amsterdam. | MR
and :[30] "Lectures on an introduction to Grothendieck's theory of the fundamental Group" Tata Institute of Fundamental Research, Bombay ( 1967). | MR | Zbl
:[31] "Logical and set theoretical methods in elementary topoï" Model Theory and Topoï. Springer Lecture Notes n°445 ( 1975). | Zbl
:[32] "Infinitesimaux et intuitionnisme", cahiers de Top. et Géom. Diff. 22 ( 1981), 67-72. | Numdam | MR | Zbl
:[33] "Topologie et intuitionnisme", Journées Faisceaux et Logique Mai 81, Univ. Paris-Nord, pré-publications math. ( 1982).
:[34] 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] "Anneaux locaux henséliens". Lecture Notes in Math. n°169 Springer. | MR | Zbl
:[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] "Non Standard Analysis" North-Holland ( 1966). | MR | Zbl
:[38] "Idéaux de fonctions différentiables", Ergebnisse der Math, Springer Verlag ( 1972). | MR | Zbl
:[39] "Théorie des points proches sur les variétés différentiables", in Colloq. Top. et Géom. Diff., Strasbourg ( 1953) pp. 111-117. | MR | Zbl
: