含反域签名的多放置函数代数
环与代数
2017-09-19 v4 逻辑
摘要
我们为多元偏函数代数的定义反域操作。对于所有包含复合、反域操作以及交集、优先并集和固定集的任意子集的签名，我们给出了表示类的有限等式或拟等式公理化。对于由单射多元偏函数表示的问题，我们做了同样的工作。对于我们所有的表示定理，有限表示性质对表示类成立是我们证明的直接推论。我们证明对于一大类签名，表示类具有coNP完全的等式理论。
引用
@article{arxiv.1507.06167,
title = {Algebras of multiplace functions for signatures containing antidomain},
author = {Brett McLean},
journal= {arXiv preprint arXiv:1507.06167},
year = {2017}
}
备注
33 pages. Added brief discussion of square algebras