2016/03/10 by Jean B. Nganou, Nganou, Jean B
Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Rough Sets and Fuzzy Logic
paper · pdf · doi:10.48550/arxiv.1603.03172
openalex publication_date 2016/03/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We determine the profinite completions of MV-algebras, and obtain a description that generalizes the well known profinite completions of Boolean algebras as the power sets of their Stone spaces. We also use the description found to characterize profinite MV-algebras that are isomorphic to the profinite completion of an MV-algebra. Finally, MV-algebras for which the profinite Completion and MacNeille completion are isomorphic are characterized.