Related papers: Can you take Akemann--Weaver's $\diamondsuit_{\ale…

We construct a C*-algebra that has only one irreducible representation up to unitary equivalence but is not isomorphic to the algebra of compact operators on any Hilbert space. This answers an old question of Naimark. Our construction uses…

Naimark's problem asks whether a C*-algebra that has only one irreducible *-representation up to unitary equivalence is isomorphic to the C*-algebra of compact operators on some (not necessarily separable) Hilbert space. This problem has…

A counterexample to Naimark's problem is a $C^\ast$-algebra that is not isomorphic to the algebra of compact operators on some Hilbert space, yet still has only one irreducible representation up to unitary equivalence. It is well-known that…

The Naimark problem asks whether $C^*$-algebras with singleton spectra are necessarily elementary. The separable case was solved affirmatively in 1953 by Rosenberg. In 2004, Akemann and Weaver gave a counterexample to the Naimark problem…

A subset $\mathcal X$ of a C*-algebra $\mathcal A$ is called irredundant if no $A\in \mathcal X$ belongs to the C*-subalgebra of $\mathcal A$ generated by $\mathcal X\setminus \{A\}$. Separable C*-algebras cannot have uncountable…

Building on previous work of Kadison--Ringrose, Elliott, Akemann--Pedersen, and this author, we prove a dichotomy for the relation of outer equivalence of derivations and unitary equivalence of derivable automorphisms for a separable…

Let \phi be a first order formula and M be a countable model. \phi^M denotes the set of all assignments that satisfy \phi in M. Let M, N be countable models. A formula \phi distinguishes these models if |\phi^M|\neq |\phi^N|. We show that…

Glimm's theorem says that a UHF algebra is almost embedded in a separable $C^*$-algebra not of type I. Applying his methods we obtain a covariant version of his result; a UHF algebra with a product type automorphism is covariantly embedded…

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…

We prove that the central sequence algebra of a separable C*-algebra is either subhomogeneous or non-exact, confirming a conjecture of Enders and Shulman. We also prove analogous dichotomy for other massive C*-algebras.

We prove that the C*-algebra of a minimal diffeomorphism satisfies Blackadar's Fundamental Comparability Property for positive elements. This leads to the classification, in terms of K-theory and traces, of the isomorphism classes of…

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…

To each irreducible infinite dimensional representation $(\pi,\cH)$ of a $C^*$-algebra $\cA$, we associate a collection of irreducible norm-continuous unitary representations $\pi_{\lambda}^\cA$ of its unitary group $\U(\cA)$, whose…

The similarity problem is one of the most famous open problems in the theory of $C^*$-algebras. We say that a $C^*$-algebra $\cl A$ satisfies the similarity property ((SP) for short) if every bounded homomorphism $u\colon \cl A\to \cl B(H)$…

We extend the classical Feferman-Vaught theorem to logic for metric structures. This implies that the reduced powers of elementarily equivalent structures are elementarily equivalent, and therefore they are isomorphic under the Continuum…

We describe how boundary paths in a graph can be used to construct irreducible representations of the associated graph C*-algebra and the associated Leavitt path algebra. We use this construction to establish two sets of results: First, we…

In this note, we derive some consequences of the von Neumann algebra uniqueness theorems developed in a previous paper (see arXiv:1207.6741v1). In particular, 1) we solvein a paper of Futamura, Kataoka, and Kishimoto, by proving that if A…

Assuming Jensen's principle diamond, there is a compact Hausdorff space X which is hereditarily Lindelof, hereditarily separable, and connected, such that no closed subspace of X is both perfect and totally disconnected. The Proper Forcing…

We show that for a large class of C*-algebras $\mathcal{A}$, containing arbitrary direct limits of separable type I C*-algebras, the following statement holds: If $A\in \mathcal{A}$ and $B$ is a simple projectionless C*-algebra with trivial…

We show that certain C*-algebras which have been studied among others by Arzumanian, Vershik, Deaconu, and Renault in connection to a measure preserving transformation of a measure space and/or to a covering map of a compact space are…