Pre-apartness structures on spaces of functions

DOI10.1016/j.jco.2006.04.008zbMath1113.03057OpenAlexW2051630567MaRDI QIDQ864436

Luminiţa Simona Vîţă, Douglas S. Bridges

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

zbMATH Keywords

uniform convergenceapartness spacesproximal convergence

Mathematics Subject Classification ID

Function spaces in general topology (54C35) Uniform structures and generalizations (54E15) Nearness spaces (54E17) Proximity structures and generalizations (54E05) Other constructive mathematics (03F65)

Related Items (2)

Almost new pre-apartness from old ⋮ The intermediate value theorem in constructive mathematics without choice

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume I
• Some points in formal topology.
• A constructive theory of point-set nearness.
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Apartness spaces as a framework for constructive topology
• On completion of proximity spaces by local clusters
• Axiom of Choice and Complementation
• Choice Implies Excluded Middle
• On proximal convergence in uniform spaces
• Apartness, Topology, and Uniformity: a Constructive View
• Proximal and uniform convergence on apartness spaces
• Some Properties of Proximity and Generalized Uniformity.

This page was built for publication: Pre-apartness structures on spaces of functions