Embedding locales and formal topologies into positive topologies
scientific article; zbMATH DE number 7001415
scientific article