The Stone– ech compactification of locales, III

The Stone- ech compactification of a locale L is shown to be obtained constructively by taking the Lindenbaum locale of the theory of almost prime completely regular filters on L. Modifying the theory by replacing the completely below relation by the strongly below relation yields instead the compact regular reflection, with corresponding results for the compact zero-dimensional reflection, indeed for any compactification of a locale.