it is shown that every  almost linear bijection $h : arightarrow b$ of a unital $c^*$-algebra $a$ onto a unital$c^*$-algebra $b$ is a $c^*$-algebra isomorphism when $h(3^n u y) = h(3^n u) h(y)$ for allunitaries  $u in a$, all $y in a$, and all $nin mathbb z$, andthat almost linear continuous bijection $h : a rightarrow b$ of aunital $c^*$-algebra $a$ of real rank zero onto a unital$c^*$-algebra...

It is shown that the collection of weakly almost periodic functionals on the convolution algebra of a commutative Hopf von Neumann algebra is a C∗-algebra. This implies that the weakly almost periodic functionals on M(G), the measure algebra of a locally compact group G, is a C∗-subalgebra of M(G)∗ = C0(G) ∗∗. The proof builds upon a factorisation result, due to Young and Kaiser, for weakly com...

Abs t rac t . We investigate the notion of fair testing, a formal testing theory in the style of De Nicola and Hennessy, where divergences are disregarded as long as there axe visible outgoing transitions. The usual testing theories, such as the standard model of failure pre-order, do not allow such fair interpretations because of the way in which they ensure their compositionality with respect...

We prove completeness of the propositional modal logic S4 for the measure algebra based on the Lebesgue-measurable subsets of the unit interval, [0, 1]. In recent talks, Dana Scott introduced a new measure-based semantics for the standard propositional modal language with Boolean connectives and necessity and possibility operators, and ♦. Propositional modal formulae are assigned to Lebesgue-me...

We introduce a new space ANlog,α B consisting of all holomorphic functions on the unit ball B ⊂ C such that ‖f‖ANlog,α : ∫ B φe ln 1 |f z | dVα z < ∞, where α > −1, dVα z cα,n 1 − |z| dV z dV z is the normalized Lebesgue volume measure on B, and cα,n is a normalization constant, that is, Vα B 1 , and φe t t ln e t for t ∈ 0,∞ . Some basic properties of this space are presented. Among other resu...

For a transformation F on a measure space (X,μ), we show that the Perron-Frobenius operator of F can be written by a representation (L2(X,μ), π) of the Cuntz-Krieger algebra OA associated with F when F satisfies some assumption. Especially, when OA is the Cuntz algebra ON and (L2(X,μ), π) in the above is some irreducible representation of ON , then there is an F -invariant measure on X which is...

in this paper, we introduce the notion of multiplier in -algebra and study relationships between multipliers and some special mappings, likeness closure operators, homomorphisms and ( -derivations in -algebras. we introduce the concept of idempotent multipliers in bl-algebra and weak congruence and obtain an interconnection between idempotent multipliers and weak congruences. also, we introduce...

The regular open subsets of a topological space form Boolean algebra, where the join two sets is interior closure their union. A content finitely additive measure on this or one its subalgebras. We develop theory integration for such contents. then explain relationship between contents, residual charges, and Borel measures. show that can be represented by normal measure, augmented with liminal ...