论文标题
高铁II $ _1 $因子的通用理论是不可计算的
The Universal Theory Of The Hyperfinite II$_1$ Factor Is Not Computable
论文作者
论文摘要
我们表明，高铁II $ _1 $因子的通用理论是不可计算的。证明使用了最近的结果，即mip*= re。结合对作者的较早观察，这产生了一个证据，证明了Connes嵌入问题具有负面解决方案，可以避免与Kirchberg的QWEP猜想和Tsirelson的问题相等。+++。
We show that the universal theory of the hyperfinite II$_1$ factor is not computable. The proof uses the recent result that MIP*=RE. Combined with an earlier observation of the authors, this yields a proof that the Connes Embedding Problem has a negative solution that avoids the equivalences with Kirchberg's QWEP Conjecture and Tsirelson's Problem.+
