## Abstract Let __M__ be an MV‐algebra and Ω~__M__~ be the set of all __σ__ ‐valuations from __M__ into the MV‐unit interval. This paper focuses on the characterization of MV‐algebras using __σ__ ‐valuations of MV‐algebras and proves that a __σ__ ‐complete MV‐algebra is __σ__ ‐regular, which means
Representations of MV-algebras by sheaves
✍ Scribed by Anna R. Ferraioli; Ada Lettieri
- Publisher
- John Wiley and Sons
- Year
- 2011
- Tongue
- English
- Weight
- 198 KB
- Volume
- 57
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
In this paper, inspired by methods of Bigard, Keimel, and Wolfenstein ([2]), we develop an approach to sheaf representations of MV-algebras which combines two techniques for the representation of MV-algebras devised by Filipoiu and Georgescu ([18]) and by Dubuc and Poveda ([16]). Following Davey approach ([12]), we use a subdirect representation of MV-algebras that is based on local MV-algebras. This allowed us to obtain:
(a) a representation of any MV-algebras as MV-algebra of all global sections of a sheaf of local MV-algebras on the spectruum of its prime ideals;
(b) a representation of MV-algebras, having the space of minimal prime ideals compact, as MV-algebra of all global sections of a Hausdorff sheaf of MV-chains on the space of minimal prime ideals, which is a Stone space;
(c) an adjunction between the category of all MV-algebras and the category of MV-algebraic spaces, where an MV-algebraic space is a pair (X, F ), where X is a compact topological space and F is a sheaf of MValgebras with stalks that are local.
📜 SIMILAR VOLUMES
## Abstract We prove that the __m__ ‐generated free MV‐algebra is isomorphic to a quotient of the disjoint union of all the __m__ ‐generated free MV^(__n__)^‐algebras. Such a quotient can be seen as the direct limit of a system consisting of all free MV^(__n__)^‐algebras and special maps between th
## Abstract We develop the basics of a theory of sheaves of C\*‐algebras and, in particular, compare it to the existing theory of C\*‐bundles. The details of two fundamental examples, the local multiplier sheaf and the injective envelope sheaf, are discussed (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA
We prove functorial representation theorems for MV algebras, and for varieties ⌬ obtained from MV algebras by the adding of additional operators corresponding ⌬ w x to natural operations in the real interval 0, 1 , namely PMV algebras, obtained by ⌬ the adding of product, and Ł ⌸ algebras, obtained
## Abstract The notions of a (weak) hyper MV‐deductive system, a (⊆, ⊆; ⊆)‐hyper MV‐deductive system, a (≪, ⊆; ⊆)‐ hyper MV‐deductive system, a (≪, ≪; ⊆)‐hyper MV‐deductive system, a (≪, ≪; ≪)‐hyper MV‐deductive system and a (∩, ∩; ∩)‐hyper MV‐deductive system are introduced, and then their relatio