ENGLISH

Intuitionistic General Topology [PhD Thesis]

Book information

Year
1966
Language
english
Format
DJVU
Filesize
3 MB (3086662 bytes)
Pages
115\115
Topic
Mathematics Logic
Library
Envoy
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2015-07-09 09:52:23

Description

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.

Similar books