Apartness, compactness and nearness

DOI10.1016/j.tcs.2008.06.019zbMath1156.54013OpenAlexW2000254072MaRDI QIDQ949606

Hajime Ishihara, Peter M. Schuster, Douglas S. Bridges, Luminiţa Simona Vîţă

Publication date: 21 October 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.06.019

zbMATH Keywords

compactapartnessconstructive topology

Mathematics Subject Classification ID

Uniform structures and generalizations (54E15) Nearness spaces (54E17) Proximity structures and generalizations (54E05) Other constructive mathematics (03F65)

Related Items (3)

Almost new pre-apartness from old ⋮ Locatedness and overt sublocales ⋮ Two subcategories of apartness spaces

Cites Work

• Apartness spaces as a framework for constructive topology
• Investigation of constructive functions by the method of fillings
• Journey into Apartness Space
• Apartness, Topology, and Uniformity: a Constructive View
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Apartness, compactness and nearness