Towards set-presentable apartness spaces
(English)Manuscript (preprint) (Other academic)
We investigate the theory of apartness spaces from a predicative point of view. We introduce a notion of set-presented apartness relation which enables a predicative treatment of basic constructions of point-set apartness spaces. Moreover we discuss notions of set presentation for set-set apartness space.
Constructive mathematics, General topology, Neighbourhood space, Apartness space
Research subject Mathematical Logic
IdentifiersURN: urn:nbn:se:uu:diva-152067OAI: oai:DiVA.org:uu-152067DiVA: diva2:412414