Apartness spaces as framework for constructive topology (2003)
by
Douglas Bridges
| Venue: | Ann. Pure Appl. Logic |
| Citations: | 7 - 1 self |
BibTeX
@ARTICLE{Bridges03apartnessspaces,
author = {Douglas Bridges},
title = {Apartness spaces as framework for constructive topology},
journal = {Ann. Pure Appl. Logic},
year = {2003},
volume = {119},
pages = {83}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
An axiomatic development of the theory of apartness and nearness of a point and a set is introduced as a framework for constructive topology. Various notions of continuity of mappings between apartness spaces are compared; the constructive independence of one of the axioms from the others is demonstrated; and the product apartness structure is defined and analysed.
