Related papers: Definability under duality

We show that the class of unital $\mathrm{C}^*$-algebras is an elementary class in the language of operator systems. As a result, we have that there is a definable predicate in the language of operator systems that defines the…

We give a characterization of the ''uniform closure'' of the dual of a $C^{*}$-algebra. Some applications in harmonic analysis are given.

Suppose that ${\mathcal A}$ is an algebra, $\sigma,\tau:{\mathcal A}\to{\mathcal A}$ are two linear mappings such that both $\sigma({\mathcal A})$ and $\tau({\mathcal A})$ are subalgebras of ${\mathcal A}$ and ${\mathcal X}$ is a…

Duality is a central concept in the theory of session types. Since a flaw was found in the original definition of duality for recursive types, several other definitions have been published. As their connection is not obvious, we compare the…

In this paper, a computably definable predicate is defined and characterized. Then, it is proved that every separable infinite-dimensional Hilbert structure in an effectively presented language is computable. Moreover, every definable…

Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This…

The main result: the dual of separable Banach space $X$ contains a total subspace which is not norming over any infinite dimensional subspace of $X$ if and only if $X$ has a nonquasireflexive quotient space with the strictly singular…

We study the link between a compact hypersurface in $\P^{n+1}$ and the set of all its tangent planes. In this context, we identify $\P^{n+1}$ to the set of linear subspaces of codimension one by orthogonal complementarity. This gives rise…

Let $X$ be a Banach space. We study the circumstances under which there exists an uncountable set $\mathcal A\subset X$ of unit vectors such that $\|x-y\|>1$ for distinct $x,y\in \mathcal A$. We prove that such a set exists if $X$ is…

Let $X$ be a left introverted subspace of dual of a Banach algebra. We study $Z_t(X^*),$ the topological center of Banach algebra $X^*$. We fined the topological center of $(X\cA)^*$, when $\cA$ has a bounded right approximate identity and…

A topological space $X$ is called $\Cal A$-real compact, if every algebra homomorphism from $\Cal A$ to the reals is an evaluation at some point of $X$, where $\Cal A$ is an algebra of continuous functions. Our main interest lies on…

Let $\mathcal{B} (X)$ be the algebra of all bounded linear operators on an infinite-dimensional complex Banach space $X$. For an operator $ T \in \mathcal{B} (X)$, $K(T)$ denotes as usual the analytic core of $T$. We determine the form of…

An atomic decomposition is proved for Banach spaces which satisfy some affine geometric axioms compatible with notions from the quantum mechanical measuring process. This is then applied to yield, under appropriate assumptions, geometric…

Let $A$ be a Banach algebra and $A^{**}$ be the second dual of it. We show that by some new conditions, $A$ is weakly amenable whenever $A^{**}$ is weakly amenable. We will study this problem under generalization, that is, if $(n+2)-th$…

For an operator-differential equation of the form $y^{(m)}(z) = Ay(z)$, where $A$ is a closed linear operator on a Banach space over the the field of $p$-adic numbers, the necessary and sufficient conditions on initial data for the Cauchy…

We prove that a Tychonoff space $X$ is an Ascoli space (resp., a sequentially Ascoli space) if and only if for each Banach space $E$, every $k$-continuous and almost $k$-compact (resp., almost $k$-sequential) map $T$ form $X$ into the…

Identity theorem for analytic complex functions says that a function is uniquely defined by its values on a set that contains a density point. The paper presents sufficient conditions for classes of real analytic functions that ensures…

This paper deals with the problem of when, given a collection $\mathcal C$ of weakly compact operators between separable Banach spaces, there exists a separable reflexive Banach space $Z$ with a Schauder basis so that every element in…

Let $A$ be a dual Banach algebra with predual $A_\ast$ and consider the following assertions: (A) $A$ is Connes-amenable; (B) $A$ has a normal, virtual diagonal; (C) $A_\ast$ is an injective $A$-bimodule. For general $A$, all that is known…

We study homomorphisms on the algebra of analytic functions of bounded type on a Banach space. When the domain space lacks symmetric regularity, we show that in every fiber of the spectrum there are evaluations (in higher duals) which do…