Repository | Book | Chapter

COPR BookmarkLink
182091

(2009) Logicism, intuitionism, and formalism, Dordrecht, Springer.

Journey into apartness space

Douglas Bridges , Luminiţa Simona Víţă

pp. 167-187

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.