| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4609143 | Journal of Complexity | 2006 | 13 Pages |
Abstract
Pre-apartness structures are defined on YX, where X is an inhabited set and Y a uniform space. These structures clarify the discussion of proximal and uniform convergence in the constructive theory of apartness spaces.
Related Topics
Physical Sciences and Engineering
Mathematics
Analysis
