Un modèle de filtres pour l'analyse réelle synthétique
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 34 (1993) no. 2, p. 83-120
@article{CTGDC_1993__34_2_83_0,
     author = {de Freitas Druck, Iole},
     title = {Un mod\`ele de filtres pour l'analyse r\'eelle synth\'etique},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {34},
     number = {2},
     year = {1993},
     pages = {83-120},
     zbl = {0798.18003},
     mrnumber = {1223654},
     language = {fr},
     url = {http://www.numdam.org/item/CTGDC_1993__34_2_83_0}
}
de Freitas Druck, Iole. Un modèle de filtres pour l'analyse réelle synthétique. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 34 (1993) no. 2, pp. 83-120. http://www.numdam.org/item/CTGDC_1993__34_2_83_0/

[1] Boileau, A. - Types versus Topos, thèse de doctorat, Université de Montréal (1975).

[2] Boileau, A. et Joyal, A. - La Logique des Topos, Journ. Symb. Logic, vol. 46, n°1 (1981). | MR 604873 | Zbl 0544.03035

[3] Bourbaki, N. - Topologie Générale, 3e ed. Hermann, Paris (1961).

[4] Dubuc, E.J. - Sur les modèles de la Géométrie Différentielle Synthétique, Cahiers de Top. et Géom. Diff. 20 (1979). | Numdam | MR 557083 | Zbl 0473.18008

[5] Druck, I.F. et Reyes, G.E. - Sur la convergence de fonctions suivant des filtres, Categorical Algebra and its Applications. Proceedings, Louvain-la-Neuve, 1987. Lecture Notes in Math., 1348, Springer (F.Borceux,Ed.)(1988). | MR 975962 | Zbl 0717.40003

[6] Gillman, L. et Jerison, M. - Rings of Continuous Functions, New York, Springer-Verlag (1976). | MR 407579 | Zbl 0327.46040

[7] Guillemin, V. et Pollack, A. - Differential Topology, Prentice-Hall (1974). | MR 348781 | Zbl 0361.57001

[8] Johnstone, P.T. - Topos Theory, London Math. Society Monographs, n° 10, Academic Press (1977). | MR 470019 | Zbl 0368.18001

[9] Kleene, S.C. - Mathematical Logic, Wiley and Sons Inc. (1967). | MR 216930 | Zbl 0149.24309

[10] Kock, A. - Synthetic Differential Geometry, London Math. Soc. Lecture Notes Series 51, Cambridge Univ. Press (1981). | MR 649622 | Zbl 0466.51008

[11] Mac Lane, S. - Categories for the Working Mathematician, Springer-Verlag (1971). | Zbl 0232.18001

[12] Makkai, M. et Reyes (G.E. - First-Order Categorical Logic, Lecture Notes in Math. 611, Springer-Verlag (1977). | MR 505486 | Zbl 0357.18002

[13] Moerdijk, L. et Reyes,G.E. A smooth version of the Zariski topos, Report 83-24, Univ. of Amsterdam (1983), Adv. Math., vol. 65, n° 3 (1987), 229-253. | MR 904724 | Zbl 0648.18006

[14] Moerdijk, I. et Reyes, G.E. - Rings of Smooth Function and their Localizations I, Journal of Algebra 99, n° 2 (1986). | MR 837547 | Zbl 0592.18005

[15] Moerdijk, I. Et, Reyes, G.E. - Models of Smooth Infinitesimal Analysis, Springer-Verlag (1991). | MR 1083355 | Zbl 0715.18001

[16] Reyes, G.E. - Théorie des modèles et faisceaux, Advances in Math. vol. 30, n ° 2, pp.156-170 (1978). | MR 513847 | Zbl 0409.03040

[17] Reyes, G.E. (éditeur) - Analyse C∞, Géométrie Différentielle Synthétique, Rapport de recherches du D.M.S. - 80-12, Univ. de Montréal (1980).

[18] Reyes, G.E. - Analyse dans les topos lisses, Cahiers de Top. et de Géom. Diff. XXII-2 (1981). | Numdam | MR 649796 | Zbl 0486.18011

[19] Robinson, A. - Non Standard Analysis, North-Holland Publ. Co. (1966). | MR 205854 | Zbl 0151.00803