Sciweavers

MLQ
2002
81views more  MLQ 2002»
13 years 4 months ago
Apartness, Topology, and Uniformity: a Constructive View
The theory of apartness spaces, and their relation to topological spaces (in the point--set case) and uniform spaces (in the set--set case), is sketched. New notions of local decom...
Douglas S. Bridges, Peter Schuster, Luminita V&ici...