Logical opens of exponential objects

Oscar P. Bruno

Cahiers de Topologie et Géométrie Différentielle Catégoriques (1985)

  • Volume: 26, Issue: 3, page 311-323
  • ISSN: 1245-530X

How to cite

top

Bruno, 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. 1 Bruno O., Internal Mathematics in toposes, Trabajos de Mat.70 (1984). 
  2. 2 Bruno, O., On a property of ideals of differentiable functions (to be published) Zbl0603.26010
  3. 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. 4 Dubuc, E., C∞-Schemes, Amer. J. of Math.103-4 (1983), 683-690. Zbl0483.58003
  5. 5 Dubuc, E., Logical opens and real numbers in topoi, to be published. Zbl0608.18004
  6. 6 Penon, J., Topologie et Intuitionnisme, Journées faisceaux et logique, Mai 1981, Univ. Paris-Nord, pré-publications math. (1982). 
  7. 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 ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.