Separatedness in constructive topology

zbMath1037.54020MaRDI QIDQ1419690

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

Publication date: 19 January 2004

Published in: Documenta Mathematica (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/50764

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Lower separation axioms ((T_0)--(T_3), etc.) (54D10)

Related Items (1)

Extending strongly continuous functions between apartness spaces

This page was built for publication: Separatedness in constructive topology