摘要

在具有强序单位的MV-代数和格序交换群的等价范畴中联合工作ℓ-群),我们证明同构是分离子代数的一个充分条件A类有限表示代数的F类与…一致F类.分离和同构条件单独并不意味着A类 = F类.各种相关问题,如A类,或A类F类(用于A类的分离子代数F类),被证明是(图灵-)可判定的。我们使用来自代数拓扑、范畴理论、多面体几何和计算代数逻辑的工具。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。