Trakhtenbrot 定理的一个推广
计算机科学中的逻辑
2022-04-12 v2
摘要
著名的 Trakhtenbrot 定理指出，一阶逻辑中有限有效句子之集不是可计算枚举的。在本注记中，我们将推广该定理：证明只要一阶逻辑的任一片段具有有效语法、在有限模型上与一阶逻辑等表达且对合取有效封闭，其有限可满足性问题就是 RE 完全的。
引用
@article{arxiv.2112.14996,
title = {An Extension of Trakhtenbrot's Theorem},
author = {Reijo Jaakkola},
journal= {arXiv preprint arXiv:2112.14996},
year = {2022}
}
备注
Changed the title and improved the presentation