Representation and extension of states on MV-algebras
✍ Scribed by TomአKroupa
- Publisher
- Springer
- Year
- 2005
- Tongue
- English
- Weight
- 175 KB
- Volume
- 45
- Category
- Article
- ISSN
- 0933-5846
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
## 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
## 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
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 app
In [9] Mundici introduced a categorical equivalence I' between the category of MV-algebras and the category of abelian .!-groups with strong unit. Using Mundici's functor r, in [a] the authors established an equivalence between the category of perfect MValgebras and the category of abelian f-groups.