Bunge M. and G. E. Reyes (1981). Boolean spectra and model completions. Fund.
Math. 113, 165-173.