Every countably presented formal topology is spatial, classically

From MaRDI portal
Publication:5480621