Published online by Cambridge University Press: 24 October 2008
In the theory of locales (pointless topologies) some lattice-theoretical properties of certain classes of locales (Lindelöf, paracompact locales) behave ‘better’ than in the case of topological spaces. In this context we show that a locale is localic ‘ℕ-compact’ if and only if it is 0-dimensional Lindelöf. This is an analogue of the theorem of Madden and Vermeer [9] that a locale possesses the localic version of real compactness if and only if it is Tychonoff Lindelöf. As a consequence, we offer a localic analogue of ℕ-compactification, which is exactly the 0-dimensional Lindelöf reflection.