Journey into apartness space

Douglas Bridges

Vita

pp. 167-187

in: Erik Palmgren, Krister Segerberg (eds), Logicism, intuitionism, and formalism, Berlin, Springer, 2009

Abstract

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.