PROFINITE COMPLETIONS OF MV-ALGEBRAS

摘要

We provide a concrete description of the profinite completion of arbitrary MV-algebras in terms of their finite simple quotients, a description that generalizes the well known profinite completion of Boolean algebras as the power sets of their Stone spaces. We use the description found to prove the functoriality of the profinite completion and investigate classes of profinite MV-algebras that are profinite completions of some MV-algebras.