New sets of postulates for intuitionistic topology
Compositio Mathematica (1968)
- Volume: 20, page 211-221
- ISSN: 0010-437X
Access Full Article
top
How to cite
topTroelstra, A. S.. "New sets of postulates for intuitionistic topology." Compositio Mathematica 20 (1968): 211-221. <http://eudml.org/doc/88980>.
@article{Troelstra1968,
author = {Troelstra, A. S.},
journal = {Compositio Mathematica},
keywords = {general logic},
language = {eng},
pages = {211-221},
publisher = {Wolters-Noordhoff Publishing},
title = {New sets of postulates for intuitionistic topology},
url = {http://eudml.org/doc/88980},
volume = {20},
year = {1968},
}
TY - JOUR
AU - Troelstra, A. S.
TI - New sets of postulates for intuitionistic topology
JO - Compositio Mathematica
PY - 1968
PB - Wolters-Noordhoff Publishing
VL - 20
SP - 211
EP - 221
LA - eng
KW - general logic
UR - http://eudml.org/doc/88980
ER -
References
top- H. Freudenthal [1] Zum intuitionistischen Raumbegriff. Comp. Math.4 (1936), pp. 82-111. Zbl0015.24103
- A. Heyting [2] Intuitionism, an introduction. Second revised edition. Amsterdam1966. Zbl0070.00801MR221911
- K. Menger [3] Topology without points. Rice Inst. Pamphlet27 Nr. 1 (1940) pp. 80-107. Zbl0060.39401MR5316
- A.S. Troelstra [4] Intuitionistic general topology, Thesis, Amsterdam1966. MR285356
- A.S. Troelstra [5] The use of "Brouwer's principle" in intuitionistic topology. Contributions to mathematical logic. Proceedings of the Hannover colloquium. Amsterdam1968. pp. 155-164. Zbl0181.00601
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.