Apartness spaces as a framework for constructive topology

DOI10.1016/S0168-0072(02)00033-7zbMath1044.03048OpenAlexW2171525496MaRDI QIDQ1861535

Douglas S. Bridges, Luminiţa Simona Vîţă

Publication date: 9 March 2003

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

Full work available at URL: https://doi.org/10.1016/s0168-0072(02)00033-7

zbMATH Keywords

constructive mathematicsconstructive topologyapartness structurenon-metric topology

Mathematics Subject Classification ID

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

Related Items (13)

Extending strongly continuous functions between apartness spaces ⋮ Uniform structures in the beginning of the third millenium ⋮ Pre-apartness structures on spaces of functions ⋮ Strong and Uniform Continuity – the Uniform Space Case ⋮ Almost new pre-apartness from old ⋮ Two subcategories of apartness spaces ⋮ Unique existence, approximate solutions, and countable choice. ⋮ Apartness, compactness and nearness ⋮ Continuity Properties of Preference Relations ⋮ Quasi-apartness and neighbourhood spaces ⋮ A discrete duality between apartness algebras and apartness frames ⋮ Unnamed Item ⋮ Strong continuity implies uniform sequential continuity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Characterising Near Continuity Constructively
• The point of pointless topology
• Continuity and nondiscontinuity in constructive mathematics
• Constructive set theory

This page was built for publication: Apartness spaces as a framework for constructive topology