含反整环签名的多位函数代数
Algebras of multiplace functions for signatures containing antidomain
摘要：
我们定义了多位部分函数代数的反域运算。对于所有的签名包含组合，反域操作和任何子集的交集，优惠并和fixset，我们给有限的等式或拟等式公理化的表示类。我们做同样的问题的可表示的内射多位部分功能。对于我们所有的表示定理，有限表示性质对表示类成立是我们证明的直接推论。我们表明，对于一个大的签名集，代表类方程的理论是CONP-完全的。
英文摘要：
We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, preferential union and fixset, we give finite equational or quasiequational axiomatisations for the representation class. We do the same for the question of representability by injective multiplace partial functions. For all our representation theorems, it is an immediate corollary of our proof that the finite representation property holds for the representation class. We show that for a large set of signatures, the representation classes have equational theories that are coNP-complete.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
