Apartness spaces and uniform neighbourhood structures

DOI10.1016/J.APAL.2016.04.007MaRDI QIDQ290645zbMATH OpenOpenAlexFDO

Authors Douglas 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

apartness relationconstructivetotally boundeduniform neighbourhood structureuniform structure

Mathematics Subject Classification ID

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

Recommendations

• Separation properties in neighbourhood and quasi‐apartness spaces
• Neighborhood structures in ordinary smooth topological spaces
• Quasi-apartness and neighbourhood spaces
• Neighborhood spaces and convergence
• scientific article; zbMATH DE number 5596758
• scientific article; zbMATH DE number 823444
• scientific article; zbMATH DE number 4173876
• scientific article; zbMATH DE number 3892147
• Neighborhood structures of smooth topological spaces
• A note on neighbourhoods for approach spaces

Cites work

• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3328048 (Why is no real title available?)
• A constructive treatment of Urysohn's Lemma in an apartness space
• Apartness and uniformity. A constructive development.
• Compactness notions for an apartness space
• Quasi-apartness and neighbourhood spaces
• Techniques of constructive analysis
• Two subcategories of apartness spaces

Cited in

(8)

• Precompact apartness spaces
• Almost new pre-apartness from old
• Pre-apartness structures on spaces of functions
• Apartness, compactness and nearness
• Separation properties in neighbourhood and quasi‐apartness spaces
• Two subcategories of apartness spaces
• Apartness, Topology, and Uniformity: a Constructive View
• Quasi-apartness and neighbourhood spaces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q290645)