@article{CM_1968__20__211_0, author = {Troelstra, A. S.}, title = {New sets of postulates for intuitionistic topology}, journal = {Compositio Mathematica}, pages = {211--221}, publisher = {Wolters-Noordhoff Publishing}, volume = {20}, year = {1968}, mrnumber = {235985}, zbl = {0164.30804}, 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, Tome 20 (1968), pp. 211-221. http://www.numdam.org/item/CM_1968__20__211_0/
Zum intuitionistischen Raumbegriff. Comp. Math. 4 (1936), pp. 82-111. | Numdam | Zbl
[1]Intuitionism, an introduction. Second revised edition. Amsterdam 1966. | MR | Zbl
[2]Topology without points. Rice Inst. Pamphlet 27 Nr. 1 (1940) pp. 80-107. | MR | Zbl
[3]Intuitionistic general topology, Thesis, Amsterdam 1966. | MR
[4]The use of "Brouwer's principle" in intuitionistic topology. Contributions to mathematical logic. Proceedings of the Hannover colloquium. Amsterdam 1968. pp. 155-164. | Zbl
[5]