Two subcategories of apartness spaces

DOI10.1016/j.apal.2011.06.022zbMath1251.03094OpenAlexW1972499826MaRDI QIDQ651317

Hajime Ishihara

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

zbMATH Keywords

constructive mathematicsuniform spaceadjunctionapartness spaceneighbourhood space

Mathematics Subject Classification ID

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