Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
From MaRDI portal
Publication:404568
Abstract: We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an essential tool. Specifically, the theory of canonical extensions implies that the (Stone-Priestley) dual spaces of MV-algebras carry the structure of topological partial commutative ordered semigroups. We use this structure to obtain two different decompositions of such spaces, one indexed over the prime MV-spectrum, the other over the maximal MV-spectrum. These decompositions yield sheaf representations of MV-algebras, using a new and purely duality-theoretic result that relates certain sheaf representations of distributive lattices to decompositions of their dual spaces. Importantly, the proofs of the MV-algebraic representation theorems that we obtain in this way are distinguished from the existing work on this topic by the following features: (1) we use only basic algebraic facts about MV-algebras; (2) we show that the two aforementioned sheaf representations are special cases of a common result, with potential for generalizations; and (3) we show that these results are strongly related to the structure of the Stone-Priestley duals of MV-algebras. In addition, using our analysis of these decompositions, we prove that MV-algebras with isomorphic underlying lattices have homeomorphic maximal MV-spectra. This result is an MV-algebraic generalization of a classical theorem by Kaplansky stating that two compact Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous [0, 1]-valued functions on the spaces are isomorphic.
Recommendations
- On some lattice quotients of \(MV\)-algebras
- Fuzzy topology representation for MV-algebras
- Yosida Type Representation for Perfect MV‐Algebras
- Boolean products of MV-algebras: hypernormal MV-algebras
- scientific article; zbMATH DE number 2168736
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras
- The writing of the MV-algebras
- Advanced Łukasiewicz calculus and MV-algebras
- Categories and varieties of MV-algebras
Cites work
- scientific article; zbMATH DE number 3940199 (Why is no real title available?)
- scientific article; zbMATH DE number 3767656 (Why is no real title available?)
- scientific article; zbMATH DE number 3489364 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 3512777 (Why is no real title available?)
- scientific article; zbMATH DE number 1257186 (Why is no real title available?)
- scientific article; zbMATH DE number 697070 (Why is no real title available?)
- scientific article; zbMATH DE number 1461253 (Why is no real title available?)
- scientific article; zbMATH DE number 2168736 (Why is no real title available?)
- scientific article; zbMATH DE number 929637 (Why is no real title available?)
- scientific article; zbMATH DE number 3430726 (Why is no real title available?)
- scientific article; zbMATH DE number 3326329 (Why is no real title available?)
- scientific article; zbMATH DE number 3365335 (Why is no real title available?)
- A New Proof of the Completeness of the Lukasiewicz Axioms
- A Sahlqvist theorem for distributive modal logic
- A simplified duality for implicative lattices and \(l\)-groups
- A topological duality for some lattice ordered algebraic structures including \(\ell\)-groups
- Advanced Łukasiewicz calculus and MV-algebras
- Algebraic foundations of many-valued reasoning
- An isomorphism principle in general topology
- Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
- Boolean Algebras with Operators
- Bounded distributive lattice expansions
- Bounded lattice expansions
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
- Canonical extensions, Esakia spaces, and universal models
- Compact representations of BL-algebras
- Coproducts of De Morgan algebras
- Duality for double quasioperator algebras via their canonical extensions
- Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
- Extending Stone duality to multisets and locally finite MV-algebras.
- Free Vector Lattices
- Global subdirect products
- Groupes et anneaux reticules
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Invariant Measures in Free MV-Algebras
- Jaffard-Ohm correspondence and Hochster duality
- Lattice-ordered Abelian groups and Schauder bases of unimodular fans
- Lattice-ordered abelian groups and Schauder bases of unimodular fans. II
- Lattices of continuous functions
- On Priestley spaces of lattice-ordered algebraic structures
- Priestley duality and quotient lattices of many-valued algebras
- Prime Ideal Structure in Commutative Rings
- Prime spectra of lattice-ordered abelian groups
- Rational polyhedra and projective lattice-ordered abelian groups with order unit
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Representation theory of MV-algebras
- Representations of MV-algebras by sheaves
- Reticulated rings
- Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
- Sheaf representation and Chinese Remainder Theorems
- Sheaves of abelian \(l\)-groups
- Stably compact spaces
- Stably compact spaces and the probabilistic powerspace construction
- Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit
- Stone duality for real-valued multisets
- The Chinese remainder theorem and sheaf representations
- The Lebesgue state of a unital abelian lattice-ordered group
- The Lebesgue state of a unital abelian lattice-ordered group. II
- The Order Structure of Stone Spaces and the TD‐Separation Axiom
- The Priestley duality for Wajsberg algebras
- The dual adjunction between MV-algebras and Tychonoff spaces
- The intimate relationship between the McNaughton and the Chinese remainder theorems for MV-algebras
- \(l\)-groups and Bézout domains
Cited in
(18)- Orders on groups, and spectral spaces of lattice-groups
- MV-algebras, infinite dimensional polyhedra, and natural dualities
- Priestley duality for MV-algebras and beyond
- A representation theorem for integral rigs and its applications to residuated lattices.
- Natural dualities for varieties generated by finite positive MV-chains
- Difference-restriction algebras of partial functions with operators: discrete duality and completion
- An extension of Stone duality to fuzzy topologies and MV-algebras
- Sheaves and duality
- A set-theoretic proof of the representation of MV-algebras by sheaves
- A categorical duality for algebras of partial functions
- Representations of MV-algebras by sheaves
- Germinal theories in Łukasiewicz logic
- scientific article; zbMATH DE number 2168736 (Why is no real title available?)
- Sheaf representations and locality of Riesz spaces with order unit
- Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras
- Topological duality and algebraic completions
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras
- Inflationary BL-algebras obtained from 2-dimensional general overlap functions
This page was built for publication: Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q404568)
