Logical opens of exponential objects
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1985)
- Volume: 26, Issue: 3, page 311-323
- ISSN: 1245-530X
Access Full Article
top
How to cite
topBruno, Oscar P.. "Logical opens of exponential objects." Cahiers de Topologie et Géométrie Différentielle Catégoriques 26.3 (1985): 311-323. <http://eudml.org/doc/91367>.
@article{Bruno1985,
author = {Bruno, Oscar P.},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {Dubuc model; synthetic differential geometry; ideals of local character; global sections; -ring; line determined extensions; Penon open subobjects},
language = {eng},
number = {3},
pages = {311-323},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Logical opens of exponential objects},
url = {http://eudml.org/doc/91367},
volume = {26},
year = {1985},
}
TY - JOUR
AU - Bruno, Oscar P.
TI - Logical opens of exponential objects
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1985
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 26
IS - 3
SP - 311
EP - 323
LA - eng
KW - Dubuc model; synthetic differential geometry; ideals of local character; global sections; -ring; line determined extensions; Penon open subobjects
UR - http://eudml.org/doc/91367
ER -
References
top- 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) Zbl0603.26010
- 3 Dubuc, E., Open covers and infinitary operations in C∞-rings, Cahiers Top. et Géom. Diff. XXII-3 (1981), 287-300. Zbl0472.18008
- 4 Dubuc, E., C∞-Schemes, Amer. J. of Math.103-4 (1983), 683-690. Zbl0483.58003
- 5 Dubuc, E., Logical opens and real numbers in topoi, to be published. Zbl0608.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 Holland1982. Zbl0544.51014MR717254
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.