Repository | Series | Buch | Kapitel
Journey into apartness space
pp. 167-187
Abstrakt
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
Published in:
Palmgren Erik, Segerberg Krister (2009) Logicism, intuitionism, and formalism: what has become of them?. Dordrecht, Springer.
Seiten: 167-187
DOI: 10.1007/978-1-4020-8926-8_8
Referenz:
Bridges Douglas, Víţă Luminiţa Simona (2009) „Journey into apartness space“, In: E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, 167–187.