Extending strongly continuous functions between apartness spaces
From MaRDI portal
Publication:818925
DOI10.1007/S00153-005-0299-6zbMath1089.03055OpenAlexW2070903113MaRDI QIDQ818925
Publication date: 22 March 2006
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-005-0299-6
Continuous maps (54C05) Nearness spaces (54E17) Proximity structures and generalizations (54E05) Other constructive mathematics (03F65)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constructivism in mathematics. An introduction. Volume II
- Separatedness in constructive topology
- A constructive theory of point-set nearness.
- Apartness spaces as a framework for constructive topology
- Characterising Near Continuity Constructively
- Nearness--A Better Approach to Continuity and Limits
- Axiom of Choice and Complementation
- A concept of nearness
- On the extendibility of continuous functions
- Proximal and uniform convergence on apartness spaces
This page was built for publication: Extending strongly continuous functions between apartness spaces