Photo from wikipedia
ABSTRACT In this paper, we provide a set-theoretic proof of the general representation theorem for MV-algebras, which was developed by Dubuc and Poveda in 2010. The theorem states that every… Click to show full abstract
ABSTRACT In this paper, we provide a set-theoretic proof of the general representation theorem for MV-algebras, which was developed by Dubuc and Poveda in 2010. The theorem states that every MV-algebra is isomorphic to the MV-algebra of all global sections of its prime spectrum. We avoid using topos theory and instead rely on basic concepts from MV-algebras, topology and set theory.
Keywords:
representation algebras;
set theoretic;
theoretic proof;
proof representation
Journal Title: Journal of Applied Non-Classical Logics
Year Published: 2022
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Journal of Applied Non-Classical Logics
Year Published: 2022
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!