Apartness, compactness and nearness
Apartness, compactness and nearness
D. Bridges,H. Ishihara,P. Schuster,Luminita Vîta
2008 · DOI: 10.1016/j.tcs.2008.06.019
Theoretical Computer Science · 7 Citations
TLDR
It is investigated constructively a pre-apartness structure that is classically important in the characterisation of compact proximity spaces, and that may help identify a good constructive notion of compactness for not-necessarily-uniform apartness spaces.