一阶谱与二元关系的注释
摘要：二元关系的谱是其有限模型的基数的集合。本文考虑使用至少三个变量的二元关系的句子的谱。我们证明对于每个这样的句子 $Phi$，存在一个使用相同数量的变量，但只使用一个对称二元关系的句子 $Phi'$，其谱与 $Phi$ 的谱成线性比例。此外，$Phi'$ 的模型都是二分图。作为一个推论，我们得出结论，要解决 Asser 猜想，即谱的类是否在补充下封闭，只需考虑仅使用三个变量并将模型限制为无向二分图的句子。
作者：Eryk Kopczynski and Tony Tan
论文ID：1706.08691
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22