A choice-free approach to Wallman compactifications

The classical Wallman compactification of a $T_1$-space and the Stone--\v{C}ech compactification of a completely regular space rely on choice principles. We show that, by representing a space by its powerset MT-algebra (McKinsey--Tarski algebra), both constructions admit choice-free compactifications. More generally, from any Wallman basis of a spatial $T_1$ MT-algebra we construct a compact $T_1$ MT-algebra which is a compactification of the original algebra. Taking the basis of all closed elements yields a choice-free Wallman compactification of every spatial $T_1$ MT-algebra, while taking the basis of zero-elements yields a choice-free Stone--\v{C}ech compactification of every spatial completely regular MT-algebra. Choice is only needed to show that the resulting compactifying algebras are spatial, and hence to recover the usual compactifying spaces. We also show that these constructions recover the corresponding compactifications of frames of opens.