Year: 2013
Type: preprint
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 $\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.
Source: arXiv (Cornell University)
Author: Nganou, Jean B.
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W1560558993