A constructive treatment of Urysohn's Lemma in an apartness space

DOI10.1002/MALQ.200610006MaRDI QIDQ3419669zbMATH OpenOpenAlexWikidataFDO

Authors Douglas 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

zbMATH Keywords

apartness spacesconstructive mathematicsUrysohn's Lemma

Mathematics Subject Classification ID

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

Recommendations

• Apartness spaces as a framework for constructive topology
• Apartness, Topology, and Uniformity: a Constructive View
• Apartness and uniformity. A constructive development.
• scientific article; zbMATH DE number 1824681
• Apartness, compactness and nearness

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• Techniques of constructive analysis

Cited in

(5)

• Urysohn's lemma in Schröder categories
• Apartness spaces and uniform neighbourhood structures
• On the constructive notion of closure maps
• scientific article; zbMATH DE number 6407273 (Why is no real title available?)
• PROOFS OF URYSOHN’S LEMMA AND THE TIETZE EXTENSION THEOREM VIA THE CANTOR FUNCTION

This page was built for publication: A constructive treatment of Urysohn's Lemma in an apartness space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3419669)