| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 435737 | Theoretical Computer Science | 2008 | 8 Pages |
Abstract
We investigate constructively a pre-apartness structure that is classically important in the characterisation of compact proximity spaces, and that may help identify a good constructive notion of compactness for not-necessarily-uniform apartness spaces. In addition, we produce what may be the right notion of “nearness” in the theory of apartness spaces.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
