Topological properties of the real numbers object in a topos
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 17 (1976) no. 3, p. 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 Cat\'egoriques},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {17},
     number = {3},
     year = {1976},
     pages = {295-326},
     zbl = {0354.18010},
     mrnumber = {422023},
     language = {en},
     url = {http://www.numdam.org/item/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 Catégoriques, Volume 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 221878 | Zbl 0183.01503

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 0252.18001

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

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

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

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

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

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 387049 | Zbl 0362.18001

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

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

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 297533 | Zbl 0238.02029

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 519884 | Zbl 0394.18005

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

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

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