Quantifier elimination in C*-algebras
Abstract
The only C*-algebras that admit elimination of quantifiers in continuous logic are $\mathbb{C}, \mathbb{C}^2$, $C($Cantor space$)$ and $M_2(\mathbb{C})$. We also prove that the theory of C*-algebras does not have model companion and show that the theory of $M_n(\mathcal {O_{n+1}})$ is not $\forall\exists$-axiomatizable for any $n\geq 2$.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2015
- DOI:
- 10.48550/arXiv.1502.00573
- arXiv:
- arXiv:1502.00573
- Bibcode:
- 2015arXiv150200573E
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Operator Algebras;
- 03C10;
- 03C65;
- 03C90;
- 46L89;
- 46L05;
- 46M07
- E-Print:
- More improvements and bug fixes. To appear in IMRN