拟射影关系代数与有向柱形代数是范畴等价的
逻辑
2013-04-04 v1
摘要
我们证明了拟射影关系代数与有向柱形代数是范畴等价的。我们为一阶逻辑的有限变元片段推导出哥德尔第二不完备定理。我们证明了不同的集合论（例如一个包含连续统假设，另一个包含其否定）产生方程上不同的简单有向柱形代数。这种对应关系是针对拟射影关系代数（具有一个对应于隶属关系的区分元素）建立的。证明的思路是，有向柱形代数的Sagi表示保持良基性。最后，利用所定义的函子保持序关系，我们证明了有向柱形代数类具有超融合性质。
关键词
引用
@article{arxiv.1304.0761,
title = {Quasi-projective relation algebras and directed cylindric algebras are categorially equivalent},
author = {Tarek Sayed Ahmed},
journal= {arXiv preprint arXiv:1304.0761},
year = {2013}
}
备注
arXiv admin note: substantial text overlap with arXiv:1303.7386, arXiv:1304.0712; and overlap with arXiv:math/0508572 by other author without attribution