必要的遗传不可判定性
摘要：基本的遗传不可判定性的研究 与这种属性的理论是证明其他理论不可判定性的方便工具。 本文发展了关于基本的遗传不可判定性的基本事实，并提供了显著的例子，比如Hanf提出的ehu理论的构建和一个相对自然而且严格低于R的基本遗传不可判定性的例子。 我们讨论了基本遗传不可判定性与递归布尔同构的（非）相互作用。 我们发展了一个称为基本容忍的约简关系，或者反过来，称为宽解释力，它与基本遗传不可判定性相互作用良好。 我们引入了Σ0_1友好理论的类，并且证明了Σ0_1友好性对于基本遗传不可判定性是充分但不必要的。 最后，我们根据Pakhomov、Murwanashyaka和Visser的观点，适应了一个论证，证明不存在解释最小的基本遗传不可判定性理论。
作者：Albert Visser
论文ID：2212.03565
分类：Logic
分类简称：math.LO
提交时间：2023-05-31