度量结构的约化积：一个度量 Feferman-Vaught 定理
逻辑
2016-04-06 v3 算子代数
摘要
我们将经典的 Feferman-Vaught 定理推广到度量结构的逻辑。这意味着初等等价结构的约化幂是初等等价的，因此在连续统假设下它们同构。我们还证明了存在两个形如 的可分 C*-代数，使得其 corona 代数同构的断言独立于 ZFC，这给出了具有此性质的可分 C*-代数的真正非交换 corona 代数的首个例子。
引用
@article{arxiv.1411.0794,
title = {Reduced products of metric structures: a metric Feferman-Vaught theorem},
author = {Saeed Ghasemi},
journal= {arXiv preprint arXiv:1411.0794},
year = {2016}
}
备注
in Journal of Symbolic Logic, 2016