Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
type: Item
instance of: scholarly article
title: Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
zbMATH Open document ID: 1300.06001
author: Mai Gehrke
author: Samuel J. van Gool
author: Vincenzo Marra
published in: Journal of Algebra
publication date: 2014-09-04T00:00:00Z
full work available at URL: https://arxiv.org/abs/1306.2839
reviewed by: Daniele Mundici
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 06F20
Mathematics Subject Classification ID: 06D50
Mathematics Subject Classification ID: 18F20
Mathematics Subject Classification ID: 54B40
zbMATH DE Number: 6339759
zbMATH Keywords: MV-algebra
zbMATH Keywords: lattice-ordered abelian group
zbMATH Keywords: distributive lattice
zbMATH Keywords: Stone duality
zbMATH Keywords: Priestley duality
zbMATH Keywords: sheaf representation
zbMATH Keywords: étale decomposition
zbMATH Keywords: spectral space
zbMATH Keywords: compact Hausdorff space
MaRDI profile type: Publication
OpenAlex ID: W2167210166
arXiv ID: 1306.2839
cites work: Free Vector Lattices
cites work: Q4083730
cites work: Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
cites work: Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
cites work: Groupes et anneaux reticules
cites work: Rational polyhedra and projective lattice-ordered abelian groups with order unit
cites work: A New Proof of the Completeness of the Lukasiewicz Axioms
cites work: Extending Stone duality to multisets and locally finite MV-algebras.
cites work: Stone duality for real-valued multisets
cites work: Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit
cites work: Priestley duality and quotient lattices of many-valued algebras
cites work: Algebraic foundations of many-valued reasoning
cites work: Prime spectra of lattice-ordered abelian groups
cites work: The Chinese remainder theorem and sheaf representations
cites work: Coproducts of De Morgan algebras
cites work: Compact representations of BL-algebras
cites work: Representation theory of MV-algebras
cites work: The intimate relationship between the McNaughton and the Chinese remainder theorems for MV-algebras
cites work: Representations of MV-algebras by sheaves
cites work: Q4893877
cites work: The Order Structure of Stone Spaces and the TD‐Separation Axiom
cites work: Canonical Extensions, Esakia Spaces, and Universal Models
cites work: Bounded lattice expansions
cites work: Q4313857
cites work: Bounded distributive lattice expansions
cites work: A Sahlqvist theorem for distributive modal logic
cites work: Q4674829
cites work: Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
cites work: Duality for double quasioperator algebras via their canonical extensions
cites work: Q4092470
cites work: An isomorphism principle in general topology
cites work: Prime Ideal Structure in Commutative Rings
cites work: Q3711309
cites work: Boolean Algebras with Operators
cites work: Stably compact spaces and the probabilistic powerspace construction
cites work: Lattices of continuous functions
cites work: Q5638369
cites work: Global subdirect products
cites work: Stably compact spaces
cites work: Lattice-ordered Abelian groups and Schauder bases of unimodular fans
cites work: The Lebesgue state of a unital abelian lattice-ordered group, II
cites work: Lattice-ordered abelian groups and Schauder bases of unimodular fans. II
cites work: The Lebesgue state of a unital abelian lattice-ordered group
cites work: The dual adjunction between MV-algebras and Tychonoff spaces
cites work: Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
cites work: The Priestley duality for Wajsberg algebras
cites work: A topological duality for some lattice ordered algebraic structures including \(\ell\)-groups
cites work: A simplified duality for implicative lattices and \(l\)-groups
cites work: On Priestley spaces of lattice-ordered algebraic structures
cites work: Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
cites work: Advanced Łukasiewicz calculus and MV-algebras

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (cites work)
cites work: Q4485837

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (cites work)
cites work: Invariant Measures in Free MV-Algebras

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (cites work)
cites work: Representation of Distributive Lattices by means of ordered Stone Spaces

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (cites work)
cites work: Q4228820

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (cites work)
cites work: Q3949052

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (cites work)
cites work: Jaffard-Ohm correspondence and Hochster duality

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (cites work)
cites work: Sheaves of abelian \(l\)-groups

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (cites work)
cites work: Reticulated rings

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (cites work)
cites work: Q4071939

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (cites work)
cites work: Sheaf representation and Chinese Remainder Theorems

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (cites work)
cites work: Q5605131

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (cites work)
cites work: Q5181410

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (cites work)
cites work: Q5748217

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (DOI)
DOI: 10.1016/J.JALGEBRA.2014.06.031

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Recommended article)
Recommended article: On some lattice quotients of \(MV\)-algebras
Similarity Score: 0.83215165
Recommender Run: Recommender Run 2

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Recommended article)
Recommended article: Fuzzy topology representation for MV-algebras
Similarity Score: 0.77671236
Recommender Run: Recommender Run 2

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Recommended article)
Recommended article: Yosida Type Representation for Perfect MV‐Algebras
Similarity Score: 0.7688642
Recommender Run: Recommender Run 2

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Recommended article)
Recommended article: Boolean products of MV-algebras: hypernormal MV-algebras
Similarity Score: 0.75293994
Recommender Run: Recommender Run 2

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Recommended article)
Recommended article: Q4674829
Similarity Score: 0.74854285
Recommender Run: Recommender Run 2

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Recommended article)
Recommended article: Łukasiewicz logic and Riesz spaces.
Similarity Score: 0.7481563
Recommender Run: Recommender Run 2

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Recommended article)
Recommended article: The spectrum problem for abelian \(\ell\)-groups and MV-algebras
Similarity Score: 0.74667513
Recommender Run: Recommender Run 2

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Recommended article)
Recommended article: The writing of the MV-algebras
Similarity Score: 0.7457712
Recommender Run: Recommender Run 2

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Recommended article)
Recommended article: Advanced Łukasiewicz calculus and MV-algebras
Similarity Score: 0.7452476
Recommender Run: Recommender Run 2

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Recommended article)
Recommended article: Categories and varieties of MV-algebras
Similarity Score: 0.7446144
Recommender Run: Recommender Run 2

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (review text)
review text: Chang's MV-algebras provide an algebraic semantics for Łukasiewicz infinite-valued propositional logic. As proved by the present reviewer in his paper [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)], MV-algebras are categorically equivalent to abelian lattice ordered groups equipped with a distinguished (strong order) unit. As shown by a wealth of recent literature, MV-algebras go beyond the realm of nonclassical logic and universal algebra. Among others, they are deeply connected with rational polyhedra, multisets, \(C^*\)-algebras, Carathéodory and de Finetti probability theory. For a comprehensive account see the present reviewer's book [Advanced Łukasiewicz calculus and MV-algebras. Berlin: Springer (2011; Zbl 1235.03002)].NEWLINENEWLINE The aim of the paper under review is to investigate duals à la Stone-Priestley of MV-algebras: these duals are understood as lattices with extra structure naturally arising from the MV-algebraic structure. The main tool used throughout is given by ``canonical extensions''. Using the dual structure of any MV-algebra \(A\), two different representations are obtained, respectively, on the prime ideal and on the maximal ideal space of \(A\). As a main point of distinction of these representations from representations already existing in the literature, the authors give the following variant of a theorem of Kaplansky concerning the lattice of all real-valued functions on a compact Hausdorff space: If two MV-algebras have isomorphic underlying lattices then their maximal spectral spaces are homeomorphic. As noted by the authors, a very special case of this theorem holds for hyper-Archimedean MV-algebras, i.e., those MV-algebras where every prime ideal is maximal. For a related result for linearly MV-algebras with Hausdorff prime spectrum see the paper by \textit{G. A. Elliott}, \textit{R. Cignoli} and the present reviewer [Adv. Math. 101, No. 2, 166--179 (1993; Zbl 0823.46053)].