Apartness Spaces as a Framework for Constructive Topology
Luminita Vîta (Dediu) and Douglas Bridges
View Report [PDF - 192 KB]
Abstract
An axiomatic development of the theory of apartness and nearness of a point and a set is introduced as a framework for constructive topology. Various notions of continuity of mappings between apartness spaces are compared; the constructive independence of one of the axioms from the others is demonstrated; and the product apartness structure is defined and analysed.
Back to Research Reports