Ebook: Intuitionistic General Topology [PhD Thesis]

In classical mathematics, one can more or less distinguish set theory in its most general form from topology as a specialization of general set theory. (We are aware, however, of the absence of a sharp borderline.)
In intuitionism, it is much more difficult to make such a distinction; predicates which might be considered as to belong to set theory in its most general form from a classical point of view can be used to describe "typically topological" properties in intuitionism. The contents of this thesis roughly correspond in classical topology to the contents of the first two chapters of de VRIES 1958.