@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] Types versus Topos, thèse de doctorat, Université de Montréal (1975).
-[2] La Logique des Topos, Journ. Symb. Logic, vol. 46, n°1 (1981). | MR | Zbl
et -[3] Topologie Générale, 3e ed. Hermann, Paris (1961).
-[4] 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] 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
et -[6] Rings of Continuous Functions, New York, Springer-Verlag (1976). | MR | Zbl
et -[7] Differential Topology, Prentice-Hall (1974). | MR | Zbl
et -[8] Topos Theory, London Math. Society Monographs, n° 10, Academic Press (1977). | MR | Zbl
-[9] Mathematical Logic, Wiley and Sons Inc. (1967). | MR | Zbl
-[10] Synthetic Differential Geometry, London Math. Soc. Lecture Notes Series 51, Cambridge Univ. Press (1981). | MR | Zbl
-[11] Categories for the Working Mathematician, Springer-Verlag (1971). | Zbl
-[12] First-Order Categorical Logic, Lecture Notes in Math. 611, Springer-Verlag (1977). | MR | Zbl
et -[13] 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
et[14] Rings of Smooth Function and their Localizations I, Journal of Algebra 99, n° 2 (1986). | MR | Zbl
et -[15] Models of Smooth Infinitesimal Analysis, Springer-Verlag (1991). | MR | Zbl
, -[16] 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] Analyse dans les topos lisses, Cahiers de Top. et de Géom. Diff. XXII-2 (1981). | Numdam | MR | Zbl
-[19] Non Standard Analysis, North-Holland Publ. Co. (1966). | MR | Zbl
-