Apartness spaces and uniform neighbourhood structures

DOI10.1016/J.APAL.2016.04.007zbMath1402.03095OpenAlexW2346602651MaRDI QIDQ290645

Douglas S. Bridges

Publication date: 3 June 2016

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2016.04.007

zbMATH Keywords

totally boundedapartness relationconstructiveuniform neighbourhood structureuniform structure

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Uniform structures and generalizations (54E15) Proximity structures and generalizations (54E05) Other constructive mathematics (03F65) Intuitionistic mathematics (03F55)

Cites Work

• Compactness notions for an apartness space
• Two subcategories of apartness spaces
• Techniques of constructive analysis
• Quasi-apartness and neighbourhood spaces
• Apartness and Uniformity
• A constructive treatment of Urysohn's Lemma in an apartness space
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Apartness spaces and uniform neighbourhood structures