Zero-dimensional compact associative distributive universal algebras
Tae Ho Choe · Proceedings of the American Mathematical Society · 1974
We consider the question under which conditions a zero-dimensional compact universal algebra $\mathfrak {A}$ of finite type is profinite in the sense that the intersection of all closed congruences on $\mathfrak {A}$ with finite quotients is trivial. This is known ([