Erik Palmgren and Peter Schuster


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)


Figures and Tables

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