A constructive theory of point-set nearness.

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

zbMATH Keywords

Constructive mathematicsApartnessNearness

Mathematics Subject Classification ID

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.