Stone-Čech compactification of locales. II (Q799970)

The existence of the Stone-Čech compactification of a topological space is equivalent, classically, to the prime ideal theorem, and hence only slightly weaker than the axiom of choice. In part I [Houston J. Math. 6, 301-312 (1980; Zbl 0473.54026)] the authors proved constructively the existence of the Stone-Čech compactification of a locale by lattice theoretic arguments. Independently, P. T. Johnstone established the same result by a constructive modification of the method of Tychonoff. Among the many other ways of obtaining the Stone-Čech compactification of a space, the most significant one is that which describes it as the space of maximal ideals of its algebra of bounded continuous real-valued functions. The present paper presents the constructive analogue of this approach, based on a syntactic description of the locale of maximal ideals of this algebra introducted by the second author.