Topological properties of the real numbers object in a topos

Lawrence Neff Stout

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

  • Volume: 17, Issue: 3, page 295-326
  • ISSN: 1245-530X

How to cite

top

Stout, Lawrence Neff. "Topological properties of the real numbers object in a topos." Cahiers de Topologie et Géométrie Différentielle Catégoriques 17.3 (1976): 295-326. <http://eudml.org/doc/91173>.

@article{Stout1976,
author = {Stout, Lawrence Neff},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
language = {eng},
number = {3},
pages = {295-326},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Topological properties of the real numbers object in a topos},
url = {http://eudml.org/doc/91173},
volume = {17},
year = {1976},
}

TY - JOUR
AU - Stout, Lawrence Neff
TI - Topological properties of the real numbers object in a topos
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1976
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 17
IS - 3
SP - 295
EP - 326
LA - eng
UR - http://eudml.org/doc/91173
ER -

References

top
  1. 1 Bishop, G., Foundations of constructive Analysis, Mc Graw Hill, 1967. Zbl0183.01503MR221878
  2. 2 Bourbaki, N., General Topology, Tome 1, Hermann, Addison- Wesley, 1966. Zbl0145.19302
  3. 3 Coste, M.F., Recursive functions in topoi, OberwolfachTagungsberichte1975. 
  4. 4 Dedekind, Gesamelte Mathematische Werke, Braunschweig (Vieweg), 1932. 
  5. 5 Freyd, P., Aspects of topoi, Bul. Australian Math. Soc.7 (1972). Zbl0252.18001
  6. 6 Kleene, S.C., Introduction to Metamathematics, Van Nostrand, 1952. Zbl0047.00703MR51790
  7. 7 Kock and Wraith, Elementary toposes, Aarhus LectureNotes30 (1971). Zbl0251.18015
  8. 8 Lawvere, F.W., Introduction to toposes, algebraic Geometry and Logic, Lecture Notes in Math.274, Springer (1971). Zbl0249.18015MR376798
  9. 9 Lukacs, E., St ochastic convergence, D. C. Heath, Canada, 1968. Zbl0179.48003
  10. 10 Mulvey, C., Intuitionistic algebra and representation of rings, Memoirs A M S148 (1974). Zbl0274.18012MR398799
  11. 11 Osius, G., Internal and external aspects of Logic and set theory in elementary topoi, Cahiers Topo. et Géo. Diff.XV - 2 (1974). Zbl0362.18001MR387049
  12. 12 Scott, D., Boolean models and nonstandard Analysis, Applications of Model theory to Algebra, Analysis and Probability, 1969. Zbl0187.27101MR236002
  13. 13 Scott, D., A proof of the independance of the continuum hypothesis, Math. Systems Theory1- 2 (1967). Zbl0149.25302MR218233
  14. 14 Sols, I., Thesis, abstract in Résumés 2e Colloque sur l'Algèbre des Catégories Amiens 1975, Cahiers Topo. et Géo. Diff.XVI-3 (1975). 
  15. 15 Staples, J., On constructive fields, Proc. London Math. Soc. series 3, vol. 23 (1971), 753-768. Zbl0238.02029MR297533
  16. 16 Stout, L.N., Quels sont les espaces topologiques dans les topos?, Annales des Sc. Math. du Québec, Vol. 1-2 ( to appear). Zbl0394.18005MR519884
  17. 17 Stout, L.N., Topology in a topos, II: E-completeness and E-cocompleteness, Manuscripta Mathematica17- 1 (1975), 1- 14. Zbl0319.18008MR414652
  18. 18 Troelstra, A.S., Intuitionistic general Topology, Thesis, Amsterdam1966. MR285356
  19. 19 Troelstra, A.S., Principles of intuitionism, Lecture Notes in Math.95, Springer (1969). Zbl0181.00504MR244003

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.