Representation theory of MV-algebras
From MaRDI portal
Publication:636342
DOI10.1016/J.APAL.2009.12.006zbMATH Open1229.06006arXiv0809.1187OpenAlexW1968981513MaRDI QIDQ636342FDOQ636342
Authors: Eduardo J. Dubuc, Yuri A. Poveda 
Publication date: 26 August 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Abstract: In this paper we develop a general representation theory for mv-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of mv-algebras and mv-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. emph{We prove that any mv-algebra is isomorphic to the mv-algebra of all global sections of a sheaf of mv-chains on a compact topological space}. This result is intimately related to McNaughton's theorem, and we explain why our representation theorem can be viewed as a vast generalization of McNaughton's. On spite of the language utilized in this abstract, we wrote this paper in a way that, we hope, could be read without much acquaintance with either sheaf theory or mv-algebra theory.
Full work available at URL: https://arxiv.org/abs/0809.1187
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Prime Ideal Structure in Commutative Rings
- Sheaves in geometry and logic: a first introduction to topos theory
- Algebraic foundations of many-valued reasoning
- An extension of the Galois theory of Grothendieck
- Free Lattice-Ordered Groups Represented as o-2 Transitive l-Permutation Groups
- Title not available (Why is that?)
- Local algebras in the representation of MV-algebras
- Yosida frames
- Extending Stone duality to multisets and locally finite MV-algebras.
Cited In (40)
- Polyhedral MV-algebras
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras
- A representation theorem for integral rigs and its applications to residuated lattices.
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
- MVW-rigs and product MV-algebras
- On topological MV-algebras and topological \(\ell \)-groups
- On the geometric theory of local MV-algebras
- Sheaves and duality
- Sheaf representations and locality of Riesz spaces with order unit
- Yosida frames in free abelian \(\ell \)-groups
- MV-semirings and their sheaf representations
- The semiring-theoretic approach to MV-algebras: a survey
- Title not available (Why is that?)
- Finite axiomatizability in Łukasiewicz logic
- Natural dualities for varieties generated by finite positive MV-chains
- Regular representations of semisimple MV-algebras by continuous real functions
- Some remarks on infinitesimals in MV-algebras
- MV-algebras as sheaves of \(\ell\)-groups on fuzzy topological spaces
- Bouligand-Severi tangents in MV-algebras.
- Representation and reticulation by quotients of MV-algebras
- On finite MTL-algebras that are representable as poset products of Archimedean chains
- Algebras with inner MB-representation
- LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE
- Sheaves of abelian \(l\)-groups
- Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras.
- The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
- Categorical equivalence between \(\mathrm{PMV}_f \)-product algebras and semi-low \(f_u \)-rings
- MV-algebras, infinite dimensional polyhedra, and natural dualities
- Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups
- A set-theoretic proof of the representation of MV-algebras by sheaves
- Operators on MV-algebras and their representations.
- ALGEBRAIC GEOMETRY FOR MV-ALGEBRAS
- The Differential Semantics of Łukasiewicz Syntactic Consequence
- Stone duality for real-valued multisets
- Abelian lattice-ordered groups and a characterization of the maximal spectrum of a Prüfer domain.
- Title not available (Why is that?)
- Radically principal MV-algebras
- Corepresentations of Munn matrix algebras
- Representations of MV-algebras by sheaves
- A non-commutative Priestley duality.
This page was built for publication: Representation theory of MV-algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q636342)
