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
A discrete representation of free MV-algebras
✍ Scribed by Antonio Di Nola; Revaz Grigolia; Luca Spada
- Publisher
- John Wiley and Sons
- Year
- 2010
- Tongue
- English
- Weight
- 170 KB
- Volume
- 56
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
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 them as morphisms (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
📜 SIMILAR VOLUMES
## Let be a basic representation-finite biserial finite-dimensional k-algebra. We describe a method for constructing a multiplicative basis and the bound quiver of the Ext-algebra E = m≥0 Ext m /r /r of using the Auslander-Reiten quiver of .
## Abstract We give a simple new construction of representable relation algebras with non‐representable completions. Using variations on our construction, we show that the elementary closure of the class of completely representable relation algebras is not finitely axiomatizable (© 2009 WILEY‐VCH V
Al~traet--The problem of the representation of continuous time systems by difference equations is studied. A solution is proposed using a sample integration technique. The convolution integrals are approximated by digital filters resulting in an arbitrary high accuracy in a wide frequency band.
We consider the free C-algebra B B with N generators , together relationship to generalized, quantized Kac᎐Moody algebras suggests an approach to the problem of classification of these algebras.