Profinite MV-algebras
classification
🧮 math.LO
keywords
mv-algebrasfiniteprofinitecategorymathbbmultisetschainscharacterize
read the original 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 \L ukasiewicz's chains. We also prove that the category $\mathbb{M}$ of multisets is dually equivalent to the category $\mathbb{P}$ of profinite MV-algebras and homomorphisms that reflect principal maximal ideals. Thus generalizing the corresponding result for finite MV-algebras, and finite multisets.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.