Spatiality of countably presentable locales (proved with the Baire category theorem)

Abstract

The first part of the paper presents a generalization of the well-known Baire category theorem. The generalization consists in replacing the dense open sets of the original formulation by dense UCO sets, where UCO means union of closed and open. This topological theorem is exactly what is needed to prove in the second part of the paper the locale-theoretic result that locales whose frame of opens has a countable presentation (countably many generators and countably many relations) are spatial. This spatiality theorem does not require choice.