Pre-apartness structures on spaces of functions |
| |
Authors: | DS Bridges LS V |
| |
Institution: | aDepartment of Mathematics & Statistics, University of Canterbury, Private Bag 4800, Christchurch, New Zealand |
| |
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. |
| |
Keywords: | Constructive Apartness Proximal convergence Uniform structure |
本文献已被 ScienceDirect 等数据库收录! |
|