A constructive treatment of Urysohn's Lemma in an apartness space
From MaRDI portal
Publication:3419669
DOI10.1002/malq.200610006zbMath1110.03057OpenAlexW1993984283WikidataQ124970164 ScholiaQ124970164MaRDI QIDQ3419669
Douglas S. Bridges, Hannes Diener
Publication date: 7 February 2007
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200610006
Constructive and recursive analysis (03F60) Nearness spaces (54E17) Proximity structures and generalizations (54E05) Other constructive mathematics (03F65)
Related Items (2)
Cites Work
This page was built for publication: A constructive treatment of Urysohn's Lemma in an apartness space