Compactness notions for an apartness space

DOI10.1007/s00153-012-0279-6zbMath1294.03041OpenAlexW2137144571MaRDI QIDQ453202

Douglas S. Bridges

Publication date: 18 September 2012

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-012-0279-6

zbMATH Keywords

compactnessconstructive mathematicsconstructive topologyapartness spaces

Mathematics Subject Classification ID

Compactness (54D30) Constructive and recursive analysis (03F60) Nearness spaces (54E17) Proximity structures and generalizations (54E05)

Related Items (1)

Apartness spaces and uniform neighbourhood structures

Cites Work

• Techniques of constructive analysis
• Constructivism in mathematics. An introduction. Volume II
• Apartness and Uniformity
• Constructive set theory
• Generalising compactness
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Compactness notions for an apartness space