MV-代数与单位 $\ell$-群的 Stone-Weierstrass 定理
逻辑
2013-12-31 v1
摘要
在 MV-代数与具有强序单位的格序阿贝尔群（简称单位 -群）这两个等价范畴中联合工作，我们证明了同构是有限呈现代数 的分离子代数 与 重合的充分条件。分离条件和同构条件单独并不能推出 。各种相关问题，如 的分离性质，或 （其中 是 的分离子代数），被证明是（图灵）可判定的。我们使用了来自代数拓扑、范畴论、多面体几何和计算代数逻辑的工具。
引用
@article{arxiv.1312.7515,
title = {A Stone-Weierstrass theorem for MV-algebras and unital $\ell$-groups},
author = {L. M. Cabrer and D. Mundici},
journal= {arXiv preprint arXiv:1312.7515},
year = {2013}
}