$aleph\_0$-范畴理论及Ehrenfeucht理论的指标集合的复杂性
摘要：两个索引集中的一阶理论类的可计算论复杂性分类：我们证明了具有aleph_0可数模型的理论是Pi^0_3-完全的；而Ehrenfeucht理论则是Pi^1_1-完全的。我们还证明了具有连续个模型的性质是Sigma^1_1-难的。最后，我们还指出只有可判定模型的性质和只有可计算模型的性质都是Pi^1_1-完全的。
作者：Steffen Lempp and Theodore A. Slaman
论文ID：math/0610776
分类：Logic
分类简称：math.LO
提交时间：2007-05-23