区分McDuff的II$_1$因子的显式句子
逻辑
2017-01-30 v1 算子代数
摘要
最近，Boutonnet、Chifan和Ioana证明了McDuff的连续统多个两两不同构的可分II因子的例子实际上是两两非初等等价的。他们的证明通过表明任意两个不同McDuff例子的任意超幂不同构来进行。在本文前两位作者的一篇论文中，使用了Ehrenfeucht-Fraïssé游戏来找到区分McDuff例子的句子的量词复杂度的上界，留下寻找区分McDuff因子的具体句子作为开放问题。在本文中，我们通过提供这样的具体句子来回答这个问题。
引用
@article{arxiv.1701.07928,
title = {Explicit sentences distinguishing McDuff's II$_1$ factors},
author = {Isaac Goldbring and Bradd Hart and Henry Towsner},
journal= {arXiv preprint arXiv:1701.07928},
year = {2017}
}
备注
10 pages