Pre-apartness structures on spaces of functions
type: Item
instance of: scholarly article
title: Pre-apartness structures on spaces of functions
zbMATH Open document ID: 1113.03057
author: Douglas Bridges
author: Luminiţa Viţă
published in: Journal of Complexity
publication date: 2007-02-08T00:00:00Z
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 54C35
Mathematics Subject Classification ID: 54E05
Mathematics Subject Classification ID: 54E15
Mathematics Subject Classification ID: 54E17
zbMATH DE Number: 5123561
zbMATH Keywords: proximal convergence
zbMATH Keywords: uniform convergence
zbMATH Keywords: apartness spaces
MaRDI profile type: Publication
full work available at URL: j.jco.2006.04.008
OpenAlex ID: W2051630567
cites work: Q3803111
cites work: Q5522002
cites work: Q3754620
cites work: A constructive theory of point-set nearness.
cites work: Apartness spaces as a framework for constructive topology
cites work: Axiom of Choice and Complementation
cites work: Choice Implies Excluded Middle
cites work: On completion of proximity spaces by local clusters
cites work: Q5606492
cites work: Some Properties of Proximity and Generalized Uniformity.
cites work: Some points in formal topology.
cites work: Q5549613
cites work: Apartness, Topology, and Uniformity: a Constructive View
cites work: Boolean connection algebras: A new approach to the Region-Connection Calculus
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Proximal and uniform convergence on apartness spaces
cites work: On proximal convergence in uniform spaces
cites work: Q4485693
DOI: 10.1016/J.JCO.2006.04.008
description: scientific article; zbMATH DE number 5123561