New sets of postulates for intuitionistic topology
Troelstra, A. S.
Compositio Mathematica, Tome 20 (1968), p. 211-221 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1968-01-01
@article{CM_1968__20__211_0,
     author = {Troelstra, A. S.},
     title = {New sets of postulates for intuitionistic topology},
     journal = {Compositio Mathematica},
     volume = {20},
     year = {1968},
     pages = {211-221},
     mrnumber = {235985},
     zbl = {0164.30804},
     language = {en},
     url = {http://dml.mathdoc.fr/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://gdmltest.u-ga.fr/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