Related papers: On the Stone-Weierstrass theorem

The Robinson Splitting Theorem states that a c.e. degree $\mathbf{b}$ splits over any low c.e. degree $\mathbf{c}<\mathbf{b}$. We prove that a weaker version of this theorem holds in models of $\mathrm{P}^-+\mathrm{I}\Sigma_1$, with lowness…

We provide a ZFC example of a compact space K such that C(K)* is w*-separable but its closed unit ball is not w*-separable. All previous examples of such kind had been constructed under CH. We also discuss the measurability of the supremum…

We study bounded bilinear maps on a C$^*$-algebra $A$ having product property at $c\in A$. This leads us to the question of when a C$^*$-algebra is determined by products at $c.$ In the first part of our paper, we investigate this question…

We investigate an analogue of the Wedderburn principal theorem for associative conformal algebras with finite faithful representations. It is shown that the radical splitting property for an algebra of this kind holds if the maximal…

A group $G$ is called $W^*$-superrigid (resp. $C^*$-superrigid) if it is completely recognizable from its von Neumann algebra $L(G)$ (resp. reduced $C^*$-algebra $C_r^*(G)$). Developing new technical aspects in Popa's deformation/rigidity…

We revisit the notion of tracial approximation for unital simple C*-algebras. We show that a unital simple separable C*-algebra A is asymptotically tracially in the class of C*-algebras with finite nuclear dimension if and only if A is…

We define variants of Pisier's similarity degree for unital C*-algebras and use direct integral theory to obtain new results. We prove that if every II$_{1}$ factor representation of a separable C*-algebra $\mathcal{A}$ has property…

Let $j:Y \to X$ be a continuous surjection of compact metric spaces. Whyburn proved that $j$ is irreducible, meaning that $j(F) \subsetneq X$ for any proper closed subset $F \subsetneq Y$, if and only if $j$ is almost one-to-one, in the…

We study C*-algebras generated by two partitions of unity subject to orthogonality relations governed by a bipartite graph which we also call "bipartite graph C*-algebras". These algebras generalize at the same time the C*-algebra…

The first article in this series presented a thorough discussion of particle weights and their characteristic properties. In this part a disintegration theory for particle weights is developed which yields pure components linked to…

A classification theorem is obtained for a class of unital simple separable amenable Z-stable C*-algebras which exhausts all possible values of the Elliott invariant for unital stably finite simple separable amenable Z-stable C*-algebras.…

We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is…

We show that if B is a C*-subalgebra of a C*-algebra A such that B contains a bounded approximate identity for A, and if L is the pull-back to A of the quotient norm on A/B, then L is strongly Leibniz. In connection with this situation we…

We prove that the space $\mathscr{P}(\mathfrak{A})$ of pure states of a nonelementary, simple, separable, real rank zero $C^*$-algebra $\mathfrak{A}$ has trivial homotopy groups of all orders when $\mathscr{P}(\mathfrak{A})$ is equipped…

In this paper we will introduce the tracial Rokhlin property for an inclusion of separable simple unital C*-algebras $P \subset A$ with finite index in the sense of Watatani, and prove theorems of the following type. Suppose that $A$…

Let $1 \in A \subset B$ be an inclusion of C*-algebras of C*-index-finite type with depth 2. We try to compute topological stable rank of $B$ ($= \tsr(B)$) when $A$ has topological stable rank one. We show that $\tsr(B) \leq 2$ when $A$ is…

It is proved that the reduced group C*-algebra C*_{red}(G) has stable rank one (i.e. its group of invertible elements is a dense subset) if G is a discrete group arising as a free product G_1*G_2 where |G_1|>=2 and |G_2|>=3. This follows…

Let A be a unital separable C*-algebra. We observe that A is type I if and only if the CNT-entropy of every inner automorphism of A is zero.

Following Robert's [26], we study the structure of unitary groups and groups of approximately inner automorphisms of unital $C^*$-algebras, taking advantage of the former being Banach-Lie groups. For a given unital $C^*$-algebra $A$, we…

We investigate the failure of the Stone-Weierstrass theorem focusing on the existence of large dimensional vector spaces within the set $\mathcal{C}(L, \mathbb{K}) \setminus \overline{\mathcal{A}}$, where $L$ is a compact Hausdorff space…