关于算术理论的某些元数学特性之间的关系
摘要：对于某个抽象的不完备性理解，我们通过形式理论的元数学属性进行研究。我们系统地考察了算术理论的以下十二个重要的元数学属性之间的关系：Rosser、EI（有效地不可分割）、RI（递归地不可分割）、TP（图灵持久）、EHU（本质遗传不可判定）、EU（本质不可判定）、创造性、$mathbf{0}^{prime}$（图灵度为$mathbf{0}^{prime}$的理论）、REW（所有RE集合都是弱可表示的）、RFD（所有递归函数都是可定义的）、RSS（所有递归集合都是强可表示的）、RSW（所有递归集合都是弱可表示的）。对于这些属性中的任何两个属性$P$和$Q$，我们考察了属性$P$是否蕴含$Q$。
作者：Yong Cheng
论文ID：2303.15285
分类：Logic
分类简称：math.LO
提交时间：2023-08-23