Pre-apartness structures on spaces of functions
DOI10.1016/J.JCO.2006.04.008zbMATH Open1113.03057OpenAlexW2051630567MaRDI QIDQ864436FDOQ864436
Authors: Douglas Bridges, Luminiţa Viţă 
Publication date: 8 February 2007
Published in: Journal of Complexity (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jco.2006.04.008
Recommendations
Other constructive mathematics (03F65) Function spaces in general topology (54C35) Proximity structures and generalizations (54E05) Uniform structures and generalizations (54E15) Nearness spaces (54E17)
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some points in formal topology.
- Title not available (Why is that?)
- Axiom of Choice and Complementation
- On completion of proximity spaces by local clusters
- Some Properties of Proximity and Generalized Uniformity.
- Apartness spaces as a framework for constructive topology
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Choice Implies Excluded Middle
- Apartness, Topology, and Uniformity: a Constructive View
- Proximal and uniform convergence on apartness spaces
- On proximal convergence in uniform spaces
- Title not available (Why is that?)
- A constructive theory of point-set nearness.
Cited In (2)
This page was built for publication: Pre-apartness structures on spaces of functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q864436)
