A constructive theory of point-set nearness. (Q1427791)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A constructive theory of point-set nearness. |
scientific article |
Statements
A constructive theory of point-set nearness. (English)
0 references
14 March 2004
0 references
The authors formulate an axiomatic introduction to the classical theory of nearness spaces [see e.g. \textit{S. A. Naimpally} and \textit{B. D. Warrack}, Proximity spaces (Cambridge Tracts in Mathematics and Mathematical Physics 59, Cambridge University Press, London) (1970; Zbl 0206.24601)].
0 references
Constructive mathematics
0 references
Nearness
0 references
Apartness
0 references
0 references
