The logic L(Qu) extends first-order logic by a generalized form of counting quantifiers (“the number of elements satisfying ... belongs to the set C”). This logic is investigated for structures with an injective ω-automatic presentation. If first-order logic is extended by an infinityquantifier, the resulting theory of any such structure is known to be decidable [5]. It is shown that, as in the...

The generalized Kullback-Leibler divergence (K-Ld) in Tsallis statistics subjected to the additive duality of generalized statistics (dual generalized K-Ld) is reconciled with the theory of Bregman divergences for expectations defined by normal averages, within a measure theoretic framework. Specifically, it is demonstrated that the dual generalized K-Ld is a scaled Bregman divergence. The Pyth...

In this paper we study the interplay of electric and magnetic backgrounds in determining the decoupling limit of coincident D-branes towards a noncommutative Yang-Mills (NCYM) or open string (NCOS) theory. No decoupling limit has been found for NCYM with space-time noncommutativity. It is suggested that there is a new duality, which we call V-duality, which acts on NCOS with both space-space an...

Let Λ and Γ be artin algebras and ΛUΓ a faithfully balanced selforthogonal bimodule. In this paper, we first introduce the notion of k-Gorenstein modules with respect to ΛUΓ and then establish the left-right symmetry of the notion of k-Gorenstein modules, which develops a classical result of Auslander. As an application, we study the properties of dual modules relative to Gorenstein bimodules. ...

ABTRACT: In this paper we define the generalized Cesaro sequence spaces ces(p, q, s). We prove the space ces(p, q, s) is a complete paranorm space. In section-2 we determine its Kothe-Toeplitz dual. In section-3 we establish necessary and sufficient conditions for a matrix A to map ces p, q, s to l∞ and ces(p, q, s) to c, where l∞ is the space of all bounded sequences and c is the space of all ...

We investigate how a C*-algebra could consist of functions on a noncommutative set: a discretization of a C*-algebra A is a ∗-homomorphism A → M that factors through the canonical inclusion C(X) ⊆ `∞(X) when restricted to a commutative C*-subalgebra. Any C*-algebra admits an injective but nonfunctorial discretization, as well as a possibly noninjective functorial discretization, where M is a C*...

We prove that an endomorphism $f$ of affine space is injective on rational points if its B\'ezoutian constant. Similarly, at a given point reduced also show the Jacobian determinant invertible, then and only