Why topology in the minimalist foundation must be pointfree
scientific article; zbMATH DE number 6423785