Abstract We prove that for a Banach algebra A having bounded $\mathcal {Z}(A)$ -approximate identity and every $\mathbf {[IN]}$ group G with weight w which is either constant on conjugacy classes or satisfies $w \geq 1$ , {Z}(L^{1}_{w}(G) \otimes ^{\gamma } A) \cong \mathcal {Z}(L^{1}_{w}(G)) . As an application, we discuss the conditions under {Z}(L^{1}_{\omega }(G,A))$ enjoys certain algebrai...

We introduce the notion of a C *-valued weight between two C *-algebras as a generalization of an ordinary weight on a C *-algebra and as a C *-version of operator valued weights on von Neumann algebras. Also, some form of lower semi-continuity will be discussed together with an extension to the Multiplier algebra. A strong but useful condition for C *-valued weights, the so-called regularity, ...

The quaternion Fourier transform (QFT), which is a nontrivial generalization of the real and complex Fourier transform (FT) using quaternion algebra has been of interest to researchers for some years (see e.g. [3, 5]). It was found that many FT properties still hold but others have to be modified. Based on the (right-sided) QFT, one can extend the classical wavelet transform (WT) to quaternion ...

In this paper, we consider Turing machines based on unsharp quantum logic. For a lattice-ordered quantum multiple-valued (MV) algebra E , we introduce E -valued non-deterministic Turing machines (E NTMs) and E -valued deterministic Turing machines (E DTMs). We discuss different E valued recursively enumerable languages from width-first and depth-first recognition. We find that width-first recog...

In the present paper, among other results, a decomposition formula is given for the w-bounded continuous negative definite functions of a topological *-semigroup S with a weight function w into a proper H*-algebra A in terms of w-bounded continuous positive definite A-valued functions on S. A generalization of a well-known result of K. Harzallah is obtained. An earlier conjecture of the author ...

We give two proofs of a representation theorem for those totally finite signed Radon measures on an infinite power K of a compact Hausdorff space K (with its product topology) with the property of invariance under permutation of coordinates, in terms of powers of Radon probability measures on K. This is essentially a version of de Finetti’s theorem on exchangeable sequences of random variables....

In this paper, we will present a definability theorem for first order logic. This theorem is very easy to state, and its proof only uses elementary tools. To explain the theorem, let us first observe that if M is a model of a theory T in a language L, then, clearly, any definable subset S ⊂ M (i.e., a subset S = {a | M |= φ(a)} defined by some formula φ) is invariant under all automorphisms of ...

We define a regularity axiom for lattice-valued convergence spaces where the lattice is a complete Heyting algebra. To this end, we generalize the characterization of regularity by a ”dual form” of a diagonal condition. We show that our axiom ensures that a regular T1-space is separated and that regularity is preserved under initial constructions. Further we present an extension theorem for a c...

Henselian elements are roots of polynomials which satisfy the conditions of Hensel’s Lemma. In this paper we prove that for a finite field extension (F |L, v), if F is contained in the absolute inertia field of L, then the valuation ring OF of (F, v) is generated as an OL-algebra by henselian elements. Moreover, we give a list of equivalent conditions under which OF is generated over OL by fini...

‎For any archimedean$f$-ring $A$ with unit in whichbreak$awedge‎ ‎(1-a)leq 0$ for all $ain A$‎, ‎the following are shown to be‎ ‎equivalent‎: ‎ ‎1‎. ‎$A$ is isomorphic to the $l$-ring ${mathfrak Z}L$ of all‎ ‎integer-valued continuous functions on some frame $L$‎. 2‎. ‎$A$ is a homomorphic image of the $l$-ring $C_{Bbb Z}(X)$‎ ‎of all integer-valued continuous functions‎, ‎in the usual se...