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 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.
Recommendations
Cites work
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 6276271 (Why is no real title available?)
- A note on the concept of multiset
- Advanced Łukasiewicz calculus and MV-algebras
- Algebraic Analysis of Many Valued Logics
- Algebraic foundations of many-valued reasoning
- Complete and atomic algebras of the infinite valued Łukasiewicz logic
- Extending Stone duality to multisets and locally finite MV-algebras.
- Pro-finite MV-spaces
- Profinite Heyting algebras
- Profinite Orthomodular Lattices
- Profinite completions and canonical extensions of Heyting algebras
- Projective limits of MV-spaces
- Stone duality for real-valued multisets
- Topological MV-algebras
Cited in
(12)- Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras
- scientific article; zbMATH DE number 2172901 (Why is no real title available?)
- Profinite completions and MacNeille completions of finitely presented MV-algebras
- Extending Stone duality to multisets and locally finite MV-algebras.
- Are locally finite MV-algebras a variety?
- Stone duality for real-valued multisets
- Radically principal MV-algebras
- Categorical properties of compact Hausdorff MV-algebras
- Profinite completions of MV-algebras
- Pro-finite MV-spaces
- Pro-compactly finite MV-algebras
- Stone MV-algebras and strongly complete MV-algebras
This page was built for publication: Profinite MV-algebras and multisets.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q890022)