Publication:5718569
From MaRDI portal
zbMath1135.03348MaRDI QIDQ5718569
Publication date: 16 January 2006
54C05: Continuous maps
03F60: Constructive and recursive analysis
03F65: Other constructive mathematics
26E40: Constructive real analysis
Related Items
Unnamed Item, Locatedness and overt sublocales, A constructive and functorial embedding of locally compact metric spaces into locales, The principle of pointfree continuity