Profinite MV-algebras

2013/08/21 by Nganou, Jean B.
#06D35 #06D50 #06E15 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1308.4733

Abstract

We characterize all profinite MV-algebras, these are MV-algebras that are inverse limits of finite MV-algebras. It is shown that these are exactly direct product of finite Łukasiewicz's chains. We also prove that the category \mathbbM of multisets is dually equivalent to the category ℙ of profinite MV-algebras and homomorphisms that reflect principal maximal ideals. Thus generalizing the corresponding result for finite MV-algebras, and finite multisets.

Related

• Compact Hausdorff MV-algebras: Structure, Duality and Projectivity
• Profinite completions and MacNeille completions of MV-algebras
• AF inverse monoids and the structure of countable MV-algebras
• Stone MV-algebras and Strongly complete MV-algebras
• A duality for (n+1)-valued MV-algebras