Remarks on completely regular Lindelöf reflection of locales
completely regular Lindelöf reflection of locales
real-valued continuous functions on locales
scientific article; zbMATH DE number 2176365