## 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
Zariski-type topology for implication algebras
✍ Scribed by Manuel Abad; Diego Castaño; José P. Díaz Varela
- Publisher
- John Wiley and Sons
- Year
- 2010
- Tongue
- English
- Weight
- 220 KB
- Volume
- 56
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
Abstract
In this work we provide a new topological representation for implication algebras in such a way that its one‐point compactification is the topological space given in [1]. Some applications are given thereof (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
📜 SIMILAR VOLUMES
## dedicated to professor ivan vidav in honor of his eightieth birthday Given a von Neumann algebra R on a Hilbert space H, the so-called R-topology is introduced into B(H), which is weaker than the norm and stronger than the ultrastrong operator topology. A right R-submodule X of B(H ) is closed
This paper continues the study of spectral synthesis and the topologies t 1 and t r on the ideal space of a Banach algebra, concentrating on the class of Banach \* -algebras, and in particular on L 1 -group algebras. It is shown that if a group G is a finite extension of an abelian group then t r is
Let D be a central division algebra and A × =GL m (D) the unit group of a central simple algebra over a p-adic field F. The purpose of this paper is to give types (in the sense of Bushnell and Kutzko) for all level zero Bernstein components of A × and to establish that the Hecke algebras associated
We give a polymorphic account of the relational algebra. We introduce a formalism of ''type formulas'' specifically tuned for relational algebra expressions, and present an algorithm that computes the ''principal'' type for a given expression. The principal type of an expression is a formula that sp
## Abstract In this paper we study the branching problems for the Hecke algebra ℋ︁(__D__ ~__n__~ ) of type __D__ ~__n__~ . We explicitly describe the decompositions into irreducible modules of the socle of the restriction of each irreducible ℋ︁(__D__ ~__n__~ )‐representation to ℋ︁(__D__ ~__n__ –1~)