We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.OA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Operator Algebras

Title: The undecidability of having the QWEP

Abstract: We show that neither the class of C*-algebras with Kirchberg's QWEP property nor the class of W*-probability spaces with the QWEP property are effectively axiomatizable (in the appropriate languages). The latter result follows from a more general result, namely that the hyperfinite III$_1$ factor does not have a computable universal theory in the language of W*-probability spaces. We also prove that the Powers' factors $\mathcal{R}_\lambda$, for $0<\lambda<1$, when equipped with their canonical Powers' states, do not have computable universal theory.
Comments: 13 pages; first draft; comments very much welcome!
Subjects: Operator Algebras (math.OA); Logic (math.LO)
Cite as: arXiv:2205.07102 [math.OA]
  (or arXiv:2205.07102v1 [math.OA] for this version)

Submission history

From: Isaac Goldbring [view email]
[v1] Sat, 14 May 2022 17:51:22 GMT (15kb)

Link back to: arXiv, form interface, contact.