Representation theory of MV-algebras
From MaRDI portal
Publication:636342
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 3131597 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1354791 (Why is no real title available?)
- scientific article; zbMATH DE number 3365335 (Why is no real title available?)
- Algebraic foundations of many-valued reasoning
- An extension of the Galois theory of Grothendieck
- Extending Stone duality to multisets and locally finite MV-algebras.
- Free Lattice-Ordered Groups Represented as o-2 Transitive l-Permutation Groups
- Local algebras in the representation of MV-algebras
- Prime Ideal Structure in Commutative Rings
- Sheaves in geometry and logic: a first introduction to topos theory
- Yosida frames
Cited in
(41)- Regular representations of semisimple MV-algebras by continuous real functions
- The differential semantics of Łukasiewicz syntactic consequence
- MV-semirings and their sheaf representations
- Representation and reticulation by quotients of MV-algebras
- On finite MTL-algebras that are representable as poset products of Archimedean chains
- Stone duality for real-valued multisets
- Categorical equivalence between \(\mathrm{PMV}_f \)-product algebras and semi-low \(f_u \)-rings
- Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups
- Algebraic geometry for MV-algebras
- MV-algebras, infinite dimensional polyhedra, and natural dualities
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
- A representation theorem for integral rigs and its applications to residuated lattices.
- Radically principal MV-algebras
- Sheaves of abelian \(l\)-groups
- Finite axiomatizability in Łukasiewicz logic
- Abelian lattice-ordered groups and a characterization of the maximal spectrum of a Prüfer domain.
- Natural dualities for varieties generated by finite positive MV-chains
- The semiring-theoretic approach to MV-algebras: a survey
- Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras.
- Algebraically closed MV-algebras and their sheaf representation
- Representations of strongly algebraically closed algebras
- Algebras with inner MB-representation
- MV-algebras as sheaves of \(\ell\)-groups on fuzzy topological spaces
- Corepresentations of Munn matrix algebras
- Polyhedral MV-algebras
- On the geometric theory of local MV-algebras
- Sheaves and duality
- A set-theoretic proof of the representation of MV-algebras by sheaves
- MVW-rigs and product MV-algebras
- On topological MV-algebras and topological \(\ell \)-groups
- Representations of MV-algebras by sheaves
- A non-commutative Priestley duality.
- Operators on MV-algebras and their representations.
- Some remarks on infinitesimals in MV-algebras
- Sheaf representations and locality of Riesz spaces with order unit
- The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
- Yosida frames in free abelian \(\ell \)-groups
- When is the space of continuous functions a hyperarchimedean MV-algebra?
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras
- Bouligand-Severi tangents in MV-algebras.
- Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective
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)
