The Stone-Čech compactification of locales. III (Q1414050)

In part I of this paper, [Houston J. Math. 6, 301--312 (1980; Zbl 0473.54026)] the authors proved constructively the existence of the Stone-Čech compactification of locales by lattice theoretic reasoning. In part II, [J. Pure Appl. Algebra 33, 107--122 (1984; Zbl 0549.54017)] another approach was used, based on a syntactic description of the locale of maximal ideals of algebras of bounded continuous real-valued functions. In this paper (part III), the authors prove that the propositional theory of almost prime completely regular filters provides a description of \(\beta L\). Moreover they observe that any compactification of a locale can be described by the same kind of propositional theory.