Related papers: Countable separation property for associative alge…
We show that a separable purely infinite C*-algebra is of real rank zero if and only if its primitive ideal space has a basis consisting of compact-open sets and the natural map K_0(I) -> K_0(I/J) is surjective for all closed two-sided…
We initiate a systematic study of the computational complexity of the Constraint Satisfaction Problem (CSP) over finite structures that may contain both relations and operations. We show the close connection between this problem and a…
We study the structure of separable elements in bipartite C$^{\ast}$-algebras, focusing on the existence and size of a separable neighbourhood around the identity element. While this phenomenon is well understood in the finite-dimensional…
We define a basis property that an inclusion of C*-algebras $\mathcal O_\infty\subset A$ may have, and give various conditions for the property to hold. Some applications are considered. We also give a characterization of open projections…
Connectivity is a homotopy invariant property of separable C*-algebras which has three notable consequences: absence of nontrivial projections, quasidiagonality and a more geometric realization of KK-theory for nuclear C*-algebras using…
We show that if a separable space X has a meager open subset containing a copy of the Cantor set 2^\omega, then X has $\frak{c}$ types of countable dense subsets. We suggest a generalization of the \lambda-set for non-separable spaces. Let…
A countable group is C*-simple if its reduced C*-algebra is simple. It is well known that C*-simplicity implies that the amenable radical of the group must be trivial. We show that the converse does not hold by constructing explicit…
Let R be a countable, principal ideal domain which is not a field and A be a countable R-algebra which is free as an R-module. Then we will construct an aleph_1-free R-module G of rank aleph_1 with endomorphism algebra End_RG=A . Clearly…
It has been a longstanding problem whether every amenable operator algebra is isomorphic to a (necessarily nuclear) C*-algebra. In this note, we give a nonseparable counterexample. The existence of a separable counterexample remains an open…
A commutative algebra is exact if its multiplication endomorphisms are trace-free and is Killing metrized if its Killing type trace-form is nondegenerate and invariant. A Killing metrized exact commutative algebra is necessarily neither…
Main result: If a C*-algebra is simple, $\sigma$-unital, has finitely many extremal traces, and has strict comparison of positive elements by traces, then its multiplier also has strict comparison of positive elements by traces. The same…
A computably presented algebraic field $F$ has a \emph{splitting algorithm} if it is decidable which polynomials in $F[X]$ are irreducible there. We prove that such a field is computably categorical iff it is decidable which pairs of…
The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised…
Examples of simple, separable, unital, purely infinite $C^*$--algebras are constructed, including: (1) some that are not approximately divisible; (2) those that arise as crossed products of any of a certain class of $C^*$--algebras by any…
We say that a unital C*-algrebra A has the approximate positive factorization property (APFP) if every element of A is a norm limit of products of positive elements of A. (There is also a definition for the nonunital case.) T. Quinn has…
An amorphic association scheme has the property that any of its fusion is also an association scheme. In this paper we generalize the property to be amorphic to an arbitrary C-algebra and prove that any amorphic C-algebra is determined up…
Let $\mathcal A$ be a simple, $\sigma$-unital, non-unital, non-elementary C*-algebra and let $I_{min}$ be the intersection of all the ideals of $\mathcal M(\mathcal A)$ that properly contain $\mathcal A$. $I_{min}$ coincides with the ideal…
We have defined almost separable space. We show that like separability, almost separability is $c$ productive and converse also true under some restrictions. We establish a Baire Category theorem like result in Hausdorff, Pseudocompacts…
The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…
We show that the following divisible properties of the ${\rm C^*}$-algebras in a class $\mathcal{P}$ are inherited by simple unital ${\rm C^*}$-algebras in the class of asymptotically tracially in $\mathcal{P}$: $(1)$ $m$-almost divisible,…