no. 2
Un modèle de filtres pour l'analyse réelle synthétique
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 34 (1993) no. 2, pp. 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},
     pages = {83--120},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {34},
     number = {2},
     year = {1993},
     mrnumber = {1223654},
     zbl = {0798.18003},
     language = {fr},
     url = {http://archive.numdam.org/item/CTGDC_1993__34_2_83_0/}
}
TY  - JOUR
AU  - de Freitas Druck, Iole
TI  - Un modèle de filtres pour l'analyse réelle synthétique
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1993
SP  - 83
EP  - 120
VL  - 34
IS  - 2
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1993__34_2_83_0/
LA  - fr
ID  - CTGDC_1993__34_2_83_0
ER  - 
%0 Journal Article
%A de Freitas Druck, Iole
%T Un modèle de filtres pour l'analyse réelle synthétique
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1993
%P 83-120
%V 34
%N 2
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1993__34_2_83_0/
%G fr
%F 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, Tome 34 (1993) no. 2, pp. 83-120. http://archive.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 | Zbl

[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 | Zbl

[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 | Zbl

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

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

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

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

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

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

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

[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 | Zbl

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

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

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

[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 | Zbl

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