Profinite Heyting Algebras and Profinite Completions of Heyting Algebras

Abstract

Abstract This paper surveys recent developments in the theory of profinite Heyting algebras (resp. bounded distributive lattices, Boolean algebras) and profinite completions of Heyting algebras (resp. bounded distributive lattices, Boolean algebras). The new contributions include a necessary and sufficient condition for a profinite Heyting algebra (resp. bounded distributive lattice) to be isomorphic to the profinite completion of a Heyting algebra (resp. bounded distributive lattice). This results in simple examples of profinite bounded distributive lattices that are not isomorphic to the profinite completion of any bounded distributive lattice. We also show that each profinite Boolean algebra is isomorphic to the profinite completion of some Boolean algebra. It is still an open question whether each profinite Heyting algebra is isomorphic to the profinite completion of some Heyting algebra.