具有 QWEP 性质的不可判定性

Jananan Arulseelan; Isaac Goldbring; Bradd Hart

具有 QWEP 性质的不可判定性

算子代数 2023-08-29 v2 逻辑

作者: Jananan Arulseelan , Isaac Goldbring , Bradd Hart

摘要

我们证明，具有 Kirchberg 的 QWEP 性质的 C*-代数类，以及具有 QWEP 性质的 W*-概率空间类，均不能在相应语言中有效公理化。后一结果源于一个更一般的结果，即超有限 III $_1$ 因子在 W*-概率空间的语言中没有可计算的泛理论。我们还证明了 Powers 因子 $\mathcal{R}_\lambda$ （其中 $0<\lambda<1$ ），在赋予其典范 Powers 态时，没有可计算的泛理论。

关键词

QWEP C*-代数 W*-概率空间不可判定性有效公理化超有限 III$_1$ 因子 Powers 因子

引用

@article{arxiv.2205.07102,
  title  = {The undecidability of having the QWEP},
  author = {Jananan Arulseelan and Isaac Goldbring and Bradd Hart},
  journal= {arXiv preprint arXiv:2205.07102},
  year   = {2023}
}

备注

14 pages; a minor mistake in Theorem 2.1 has been fixed, leading to a stronger conclusion. Final version, to appear in Journal of Operator Theory

具有 QWEP 性质的不可判定性

摘要

关键词

引用

备注

相关论文