Logical opens of exponential objects
Bruno, Oscar P.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 26 (1985), p. 311-323 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1985-01-01
@article{CTGDC_1985__26_3_311_0,
     author = {Bruno, Oscar P.},
     title = {Logical opens of exponential objects},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     volume = {26},
     year = {1985},
     pages = {311-323},
     mrnumber = {796353},
     zbl = {0576.18003},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CTGDC_1985__26_3_311_0}
}

Bruno, Oscar P. Logical opens of exponential objects. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 26 (1985) pp. 311-323. http://gdmltest.u-ga.fr/item/CTGDC_1985__26_3_311_0/

1 Bruno O., Internal Mathematics in toposes, Trabajos de Mat. 70 (1984).

2 Bruno, O., On a property of ideals of differentiable functions (to be published) | Zbl 0603.26010

3 Dubuc, E., Open covers and infinitary operations in C∞-rings, Cahiers Top. et Géom. Diff. XXII-3 (1981), 287-300. | Numdam | Zbl 0472.18008

4 Dubuc, E., C∞-Schemes, Amer. J. of Math. 103-4 (1983), 683-690. | Zbl 0483.58003

5 Dubuc, E., Logical opens and real numbers in topoi, to be published. | Zbl 0608.18004

6 Penon, J., Topologie et Intuitionnisme, Journées faisceaux et logique, Mai 1981, Univ. Paris-Nord, pré-publications math. (1982).

7 Van Que, N. & Reyes, G., Smooth functors and synthetic calculus, the L.E.J. Brower Centenary Symp., A.S. Troelstra & D. van Dalen (Eds), North Holland 1982. | MR 717254