$\mathrm{C}^*$-代数作为算子系统的可公理化性

Isaac Goldbring; Thomas Sinclair

$\mathrm{C}^*$-代数作为算子系统的可公理化性

算子代数 2016-03-18 v1 逻辑

作者: Isaac Goldbring , Thomas Sinclair

摘要

我们证明了单位 $\mathrm{C}^*$ -代数类在算子系统语言中是初等类。因此，我们在算子系统语言中有一个可定义谓词，它定义了任意 $\mathrm{C}^*$ -代数中的乘法。此外，我们证明了上述类是可 $\forall\exists\forall$ -公理化的，但不是可 $\forall\exists$ -公理化的，也不是可 $\exists\forall$ -公理化的。

关键词

c*-代数算子系统可公理化性初等类可定义谓词全称-存在-全称公理化

引用

@article{arxiv.1603.05444,
  title  = {On the axiomatizability of $\mathrm{C}^*$-algebras as operator systems},
  author = {Isaac Goldbring and Thomas Sinclair},
  journal= {arXiv preprint arXiv:1603.05444},
  year   = {2016}
}

备注

7 pages

$\mathrm{C}^*$-代数作为算子系统的可公理化性

摘要

关键词

引用

备注

相关论文