A constructive theory of point-set nearness.
From MaRDI portal
Publication:1427791
DOI10.1016/S0304-3975(02)00711-9zbMath1052.54023OpenAlexW2054482962MaRDI QIDQ1427791
Luminiţa Simona Vîţă, Douglas S. Bridges
Publication date: 14 March 2004
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00711-9
Constructive and recursive analysis (03F60) Nearness spaces (54E17) Proximity structures and generalizations (54E05)
Related Items (2)
Extending strongly continuous functions between apartness spaces ⋮ Pre-apartness structures on spaces of functions
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- Constructive mathematics: a foundation for computable analysis
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- Errett Bishop: Reflections on him and his research
- Continuity and nondiscontinuity in constructive mathematics
- A weak countable choice principle
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A constructive theory of point-set nearness.