无限维多adic 代数是完全可表示的当且仅当它是原子的且完全可加的
逻辑
2013-06-07 v1
摘要
我们证明了标题中的结果。我们推断,与圆柱代数不同,无限维完全可表示多adic 代数类存在一阶公理化,尽管我们得到的是无限的;事实上是不可数的,但共享单一模式,规定(不可数个)替换算子是完全可加的。对于无限维多adic 等式代数的非交换约化也获得了类似结果,在那里我们可以去掉完全可加性。然而,我们尚不清楚是否存在不是完全可加的无限维原子多adic 代数;但我们强烈猜想存在这样的代数。
引用
@article{arxiv.1306.1464,
title = {A polyadic algebra of infinite dimension is completely representable if and only if it is atomic and completely additive},
author = {Tarek Sayed Ahmed},
journal= {arXiv preprint arXiv:1306.1464},
year = {2013}
}
备注
Submitted to the Journal of Symbolic Logic. arXiv admin note: substantial text overlap with arXiv:1301.5850