A First-order Constructive Theory of Nearness Spaces
Luminita Vîta (Dediu) and Douglas Bridges
View Report [PDF - 204 KB]
Abstract
A first-order axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for constructive topology.
Back to Research Reports
