Repository | Book | Chapter
(2009) Logicism, intuitionism, and formalism, Dordrecht, Springer.
We present some of the fundamental notions and results in the axiomatic theory of apartness spaces, a constructive approach to topology. The paper begins with apartness between sets, and between points and sets, and ends with very recent work on the theory of apartness on frames.
Publication details
DOI: 10.1007/978-1-4020-8926-8_8
Full citation:
Bridges, D. , Víţă, (2009)., Journey into apartness space, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 167-187.
This document is unfortunately not available for download at the moment.