Apartness, Topology, and Uniformity: a Constructive View

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200210)48:1+<16::AID-MALQ16>3.0.CO;2-7" /><16::AID-MALQ16>3.0.CO;2-7 10.1002/1521-3870(200210)48:1+<16::AID-MALQ16>3.0.CO;2-7zbMath1044.03047OpenAlexW2019495847MaRDI QIDQ4787853

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

Publication date: 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200210)48:1+<16::aid-malq16>3.0.co;2-7

zbMATH Keywords

constructive mathematicsuniform spacesconstructive topologyapartness structure

Mathematics Subject Classification ID

Nearness spaces (54E17) Proximity structures and generalizations (54E05) Other constructive mathematics (03F65)

Related Items (6)

Pre-apartness structures on spaces of functions ⋮ Strong and Uniform Continuity – the Uniform Space Case ⋮ Two subcategories of apartness spaces ⋮ Apartness, compactness and nearness ⋮ Supermetrics over Apartness Lattice-Ordered Semigroup ⋮ Unnamed Item

This page was built for publication: Apartness, Topology, and Uniformity: a Constructive View