Profinite MV-algebras and multisets.

DOI10.1007/S11083-014-9345-5zbMATH Open1331.06005arXiv1308.4733OpenAlexW2022049287MaRDI QIDQ890022FDOQ890022

Authors: J. B. Nganou 

Publication date: 9 November 2015

Published in: Order (Search for Journal in Brave)

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 $mathbbM$ of multisets is dually equivalent to the category $mathbbP$ of profinite MV-algebras and homomorphisms that reflect principal maximal ideals. Thus generalizing the corresponding result for finite MV-algebras, and finite multisets.

Full work available at URL: https://arxiv.org/abs/1308.4733

Recommendations

• Profinite completions of MV-algebras
• Profinite completions and MacNeille completions of finitely presented MV-algebras
• Semi-simple and complete MV-algebras
• Extending Stone duality to multisets and locally finite MV-algebras.
• \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic

zbMATH Keywords

dualitiesmultisetsfinite MV-algebrasprofinite MV-algebrasŁukasiewicz logic

Mathematics Subject Classification ID

MV-algebras (06D35)

Cites Work

• Title not available (Why is that?)
• Algebraic foundations of many-valued reasoning
• Algebraic Analysis of Many Valued Logics
• Title not available (Why is that?)
• Advanced Łukasiewicz calculus and MV-algebras
• Profinite Heyting algebras
• Extending Stone duality to multisets and locally finite MV-algebras.
• Stone duality for real-valued multisets
• Complete and atomic algebras of the infinite valued Łukasiewicz logic
• Profinite completions and canonical extensions of Heyting algebras
• Topological MV-algebras
• Profinite Orthomodular Lattices
• Pro-finite MV-spaces
• Projective limits of \(MV\)-spaces
• A note on the concept of multiset

Cited In (12)

• Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras
• Title not available (Why is that?)
• 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)