## Aspects of general topology in constructive set theory

- Peter Aczel
- Ann. Pure Appl. Logic
- 2006

The theory of formal spaces and the more recent theory of apartness spaces have a priori not much more in common than that each of them was initiated as a constructive approach to general topology. We nonetheless try to do the first steps in relating these competing theories to each other. Formal topology was put forward in the mid 1980s by Sambin [11] in… (More)

Sorry, we couldn't extract any figures or tables for this paper.