Quantifier elimination in II$_1$ factorsIlijas FaraharXiv (Cornell University)（2023）引用 0|浏览3暂无评分摘要 No type II$_1$ tracial von Neumann algebra has theory that admits quantifier elimination. 更多查看译文关键词factors,ii$_1$AI 理解论文溯源树样例生成溯源树，研究论文发展脉络Chat Paper正在生成论文摘要
