发表机构
University of Oxford（牛津大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文确定了 Karp 的 NP 完全问题在一阶可定义结构（如轨道有限集）上的可判定性。
AI 中文摘要
我们确定了 Karp 的 NP 完全问题在等式理论上一阶可定义结构上的可判定性，这些结构也称为带原子的轨道有限集或名义集合。
英文摘要
We determine the decidability of Karp's NP-complete problems on structures which are first-order definable over the theory of equality, also known as orbit-finite sets with atoms or nominal sets.
