Apartness spaces and uniform neighbourhood structures

DOI10.1016/J.APAL.2016.04.007zbMATH Open1402.03095OpenAlexW2346602651MaRDI QIDQ290645FDOQ290645

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

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
• scientific article; zbMATH DE number 823444
• scientific article
• scientific article; zbMATH DE number 3892147
• Neighborhood structures of smooth topological spaces
• A note on neighbourhoods for approach spaces

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Techniques of constructive analysis
• Title not available (Why is that?)
• Quasi-apartness and neighbourhood spaces
• Apartness and uniformity. A constructive development.
• A constructive treatment of Urysohn's Lemma in an apartness space
• Compactness notions for an apartness space
• Two subcategories of apartness spaces

Cited In (8)

• Precompact apartness spaces
• Almost new pre-apartness from old
• Separation properties in neighbourhood and quasi‐apartness spaces
• Pre-apartness structures on spaces of functions
• Apartness, compactness and nearness
• 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)