no. 3
Topological properties of the real numbers object in a topos
Cahiers de topologie et géométrie différentielle, Tome 17 (1976) no. 3, pp. 295-326. 
@article{CTGDC_1976__17_3_295_0,
     author = {Stout, Lawrence Neff},
     title = {Topological properties of the real numbers object in a topos},
     journal = {Cahiers de topologie et g\'eom\'etrie diff\'erentielle},
     pages = {295--326},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {17},
     number = {3},
     year = {1976},
     mrnumber = {422023},
     zbl = {0354.18010},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1976__17_3_295_0/}
}
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
PY  - 1976
SP  - 295
EP  - 326
VL  - 17
IS  - 3
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1976__17_3_295_0/
LA  - en
ID  - CTGDC_1976__17_3_295_0
ER  - 
%0 Journal Article
%A Stout, Lawrence Neff
%T Topological properties of the real numbers object in a topos
%J Cahiers de topologie et géométrie différentielle
%D 1976
%P 295-326
%V 17
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1976__17_3_295_0/
%G en
%F CTGDC_1976__17_3_295_0
Stout, Lawrence Neff. Topological properties of the real numbers object in a topos. Cahiers de topologie et géométrie différentielle, Tome 17 (1976) no. 3, pp. 295-326. http://www.numdam.org/item/CTGDC_1976__17_3_295_0/

1 Bishop, G., Foundations of constructive Analysis, Mc Graw Hill, 1967. | MR | Zbl

2 Bourbaki, N., General Topology, Tome 1, Hermann, Addison- Wesley, 1966.

3 Coste, M.F., Recursive functions in topoi, Oberwolfach Tagungsberichte 1975.

4 Dedekind, Gesamelte Mathematische Werke, Braunschweig (Vieweg), 1932.

5 Freyd, P., Aspects of topoi, Bul. Australian Math. Soc. 7 (1972). | Zbl

6 Kleene, S.C., Introduction to Metamathematics, Van Nostrand, 1952. | MR

7 Kock and Wraith, Elementary toposes, Aarhus Lecture Notes 30 (1971). | Zbl

8 Lawvere, F.W., Introduction to toposes, algebraic Geometry and Logic, Lecture Notes in Math. 274, Springer (1971). | MR | Zbl

9 Lukacs, E., St ochastic convergence, D. C. Heath, Canada, 1968. | Zbl

10 Mulvey, C., Intuitionistic algebra and representation of rings, Memoirs A M S 148 (1974). | MR | Zbl

11 Osius, G., Internal and external aspects of Logic and set theory in elementary topoi, Cahiers Topo. et Géo. Diff. XV - 2 (1974). | Numdam | MR | Zbl

12 Scott, D., Boolean models and nonstandard Analysis, Applications of Model theory to Algebra, Analysis and Probability, 1969. | MR | Zbl

13 Scott, D., A proof of the independance of the continuum hypothesis, Math. Systems Theory 1- 2 (1967). | MR | Zbl

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 Staples, J., On constructive fields, Proc. London Math. Soc. series 3, vol. 23 (1971), 753-768. | MR | Zbl

16 Stout, L.N., Quels sont les espaces topologiques dans les topos?, Annales des Sc. Math. du Québec, Vol. 1-2 ( to appear). | MR | Zbl

17 Stout, L.N., Topology in a topos, II: E-completeness and E-cocompleteness, Manuscripta Mathematica 17- 1 (1975), 1- 14. | MR | Zbl

18 Troelstra, A.S., Intuitionistic general Topology, Thesis, Amsterdam 1966. | MR

19 Troelstra, A.S., Principles of intuitionism, Lecture Notes in Math. 95, Springer (1969). | MR | Zbl