Preface to the special issue for The Fifth Workshop on Formal Topology
scientific article; zbMATH DE number 7082965