算子代数的模型论 II：模型论
逻辑
2013-07-16 v5 算子代数
摘要
我们引入了一版适用于度量结构的逻辑，适合应用于 C*-代数和迹冯诺伊曼代数。我们还证明了一个纯粹的模型论结果，即当连续统假设不成立时，可分度量结构的理论是稳定的，当且仅当其与 N 上的非主超滤相关的所有超幂都是同构的。
引用
@article{arxiv.1004.0741,
title = {Model theory of operator algebras II: Model theory},
author = {Ilijas Farah and Bradd Hart and David Sherman},
journal= {arXiv preprint arXiv:1004.0741},
year = {2013}
}
备注
20 pages; references are not missing this time