Quasi-apartness and neighbourhood spaces

DOI10.1016/j.apal.2006.01.004zbMath1099.03053OpenAlexW2005501722MaRDI QIDQ2498913

Hajime Ishihara, Ray Mines, Peter M. Schuster, Luminiţa Simona Vîţă

Publication date: 16 August 2006

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.2006.01.004

zbMATH Keywords

constructive mathematicsadjunctiongeneral topologyapartness spaceneighbourhood space

Mathematics Subject Classification ID

Related Items (7)

The Urysohn Extension Theorem for Bishop Spaces ⋮ Apartness spaces and uniform neighbourhood structures ⋮ A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces ⋮ Two subcategories of apartness spaces ⋮ Generalising compactness ⋮ A discrete duality between apartness algebras and apartness frames ⋮ Closed subsets in Bishop topological groups

Cites Work

• Topoi. The categorial analysis of logic. Rev. ed
• Constructivism in mathematics. An introduction. Volume I
• Sheaves in geometry and logic: a first introduction to topos theory
• The crisis in contemporary mathematics
• Some points in formal topology.
• Apartness spaces as a framework for constructive topology
• Quotient topologies in constructive set theory and type theory
• Aspects of general topology in constructive set theory
• Concepts of general topology in constructive mathematics and in sheaves
• Concepts of general topology in constructive mathematics and in sheaves, II
• Separation properties in neighbourhood and quasi‐apartness spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quasi-apartness and neighbourhood spaces