Two subcategories of apartness spaces
From MaRDI portal
Publication:651317
DOI10.1016/j.apal.2011.06.022zbMath1251.03094OpenAlexW1972499826MaRDI QIDQ651317
Publication date: 12 December 2011
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.2011.06.022
Constructive and recursive analysis (03F60) Categorical methods in general topology (54B30) Nearness spaces (54E17) Proximity structures and generalizations (54E05) Other constructive mathematics (03F65)
Related Items (6)
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 ⋮ A predicative completion of a uniform space ⋮ The uniform boundedness theorem and a boundedness principle ⋮ Closed subsets in Bishop topological groups
Cites Work
- Topoi. The categorial analysis of logic. Rev. ed
- Techniques of constructive analysis
- Apartness, compactness and nearness
- Constructivism in mathematics. An introduction. Volume II
- Sheaves in geometry and logic: a first introduction to topos theory
- The crisis in contemporary mathematics
- Apartness spaces as a framework for constructive topology
- Quasi-apartness and neighbourhood spaces
- Aspects of general topology in constructive set theory
- Apartness and Uniformity
- Apartness, Topology, and Uniformity: a Constructive View
- Strong and Uniform Continuity – the Uniform Space Case
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Two subcategories of apartness spaces