艾萨克·戈德布林;布拉德·哈特 超算术理论的算子代数。 （英语） Zbl 07332120号 J.日志。计算。 31，第2号，612-629（2021）. 摘要：我们证明了下列算子代数具有超算术理论：超有限II（1）因子（mathcal{R}），（L（varGamma））用于（varGamma）具有可解词问题的有限生成群具有可解词问题的有限生成群，\（C（2^\omega）\）和\（C（mathbb{P}）\）（其中\（mathbb{P}\）是伪弧）。我们还证明了Cuntz代数{O} _2\)有一个超算术理论，前提是Kirchberg嵌入问题有肯定的答案。最后，我们证明了如果存在一个不具有超算术理论的存在闭（e.c.）II\（_1\）因子（分别为\（\mathrm｛c｝^*\）-代数），则存在e.c.II\（_1\）因子（分别为e.c.（\mathrm｛c｝^*\）-代数）的连续体许多理论。 引用于1文件 MSC公司： 03C66号 连续模型理论，度量结构的模型理论 03C65号 其他数学理论模型 03D45号 计算理论，有效呈现结构 46升05 代数的一般理论 46升10 von Neumann代数的一般理论 PDF格式BibTeX公司 XML格式引用 \textit{I.Goldbring}和\textit{B.Hart}，J.Log。计算。31，第2号，612--629（2021；Zbl 07332120） 全文： DOI程序 arXiv公司