Related papers: Quantifier elimination in C*-algebras

Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C*-algebras that admit quantifier elimination in continuous logic are $\mathbb{C},$ $\mathbb{C}^2,$ $M_2(\mathbb{C}),$ and the continuous functions on the…

No type II$_1$ tracial von Neumann algebra has theory that admits quantifier elimination.

The paper introduces a (universal) C*-algebra of continuous functions vanishing at infinity on the n-dimensional quantum complex space. To this end, the well-behaved Hilbert space representations of the defining relations are classified.…

It is well-known that every commutative separable unital C*-algebra of real rank zero is a quotient of the C*-algebra of all compex continous functions defined on the Cantor cube. We prove a non-commutative version of this result by showing…

We provide examples of ambient nuclear C*-algebras of non-nuclear C*-algebras with no proper intermediate C*-algebras. In particular this gives the first examples of minimal ambient nuclear C*-algebras of non-nuclear C*-algebras. For this…

We show that the first order structure whose underlying universe is $\mathbb C$ and whose basic relations are all algebraic subset of $\mathbb C^2$ does not have quantifier elimination. Since an algebraic subset of $\mathbb C ^2$ needs…

The C*-algebra of bounded operators on the separable infinite-dimensional Hilbert space cannot be mapped to a W*-algebra in such a way that each unital commutative C*-subalgebra C(X) factors normally through $\ell^\infty(X)$. Consequently,…

Elimination of quantifiers is shown to fail dramatically for a group of well-known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by…

We initiate the study of annihilators in C*-algebras, showing that they are, in many ways, the best C*-algebra analogs of projections in von Neumann algebras. Using them, we obtain a type decomposition for arbitrary C*-algebras that is…

The aim of this work is to complete our program on the quantization of connections on arbitrary principal U(1)-bundles over globally hyperbolic Lorentzian manifolds. In particular, we show that one can assign via a covariant functor to any…

Cuntz algebra $\mathcal O_2$ is the universal $C^*$-algebra generated by two isometries $s_1, s_2$ satisfying $s_1s_1^*+s_2s_2^*=1$. This is separable, simple, infinite $C^*$-algebra containing a copy of any nuclear $C^*$-algebra. The…

We intend to investigate the metalogical property of 'omitting types' for a wide variety of quantifier logics (that can also be seen as multimodal logics upon identifying existential quantifiers with modalities syntactically and…

A universal coefficient theorem is proved for C*-algebras over an arbitrary finite T_0-space X which have vanishing boundary maps. Under bootstrap assumptions, this leads to a complete classification of unital/stable real-rank-zero…

We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic.

We present a classification theorem for amenable simple stably projectionless C*-algebras with generalized tracial rank one whose $K_0$ vanish on traces which satisfy the Universal Coefficient Theorem. One of them is denoted by ${\cal Z}_0$…

We show that if A is a separable, nuclear, O_infty-absorbing (or strongly purely infinite) C*-algebra, which is homotopic to zero in an ideal-system preserving way, then A is the inductive limit of C*-algebras of the form M_k(C_0(G,v)),…

Let $C$ be the class of separable-algebraically maximal equi-characteristic Kaplansky fields of a given imperfection degree, admitting an angular component map. We prove that the common theory of the class $C$ resplendently eliminates…

We define E-theory for separable C*-algebras over second countable topological spaces and establish its basic properties. This includes an approximation theorem that relates the E-theory over a general space to the E-theories over finite…

We construct C*-diagonals with connected spectra in all classifiable stably finite C*-algebras which are unital or stably projectionless with continuous scale. For classifiable stably finite C*-algebras with torsion-free $K_0$ and trivial…

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…