New sets of postulates for intuitionistic topology
Compositio Mathematica, Volume 20  (1968), p. 211-221
@article{CM_1968__20__211_0,
     author = {Troelstra, A. S.},
     title = {New sets of postulates for intuitionistic topology},
     journal = {Compositio Mathematica},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     year = {1968},
     pages = {211-221},
     zbl = {0164.30804},
     mrnumber = {235985},
     language = {en},
     url = {http://www.numdam.org/item/CM_1968__20__211_0}
}
Troelstra, A. S. New sets of postulates for intuitionistic topology. Compositio Mathematica, Volume 20 (1968) , pp. 211-221. http://www.numdam.org/item/CM_1968__20__211_0/

H. Freudenthal [1] Zum intuitionistischen Raumbegriff. Comp. Math. 4 (1936), pp. 82-111. | Numdam | Zbl 0015.24103

A. Heyting [2] Intuitionism, an introduction. Second revised edition. Amsterdam 1966. | MR 221911 | Zbl 0070.00801

K. Menger [3] Topology without points. Rice Inst. Pamphlet 27 Nr. 1 (1940) pp. 80-107. | MR 5316 | Zbl 0060.39401

A.S. Troelstra [4] Intuitionistic general topology, Thesis, Amsterdam 1966. | MR 285356

A.S. Troelstra [5] The use of "Brouwer's principle" in intuitionistic topology. Contributions to mathematical logic. Proceedings of the Hannover colloquium. Amsterdam 1968. pp. 155-164. | Zbl 0181.00601