拟关系代数的收缩及其在可表示性中的应用
计算机科学中的逻辑
2026-01-23 v1
摘要
拟关系代数（qRA）由Galatos和Jipsen于2013年首次描述。它们是关系代数的推广，也可以被视为某些剩余格扩张。我们在qRA中识别出正对称幂等元，并证明它们可用于构造新的qRA，即原代数的所谓收缩。然后我们证明，当原代数是可表示的时，分配qRA的收缩也将是可表示的。此外，我们识别出一类不是有限可表示的分配qRA。
引用
@article{arxiv.2601.15811,
title = {Contractions of quasi relation algebras and applications to representability},
author = {Andrew Craig and Wilmari Morton and Claudette Robinson},
journal= {arXiv preprint arXiv:2601.15811},
year = {2026}
}
备注
16 pages, 5 figures, 1 table