西奥多·斯莱曼（Theodore A.Slaman）。；伍丁·W·休 枚举度中的可定义性。 （英语） Zbl 0906.03043号 架构（architecture）。数学。逻辑 36，编号4-5，255-267（1997）. 作者证明了枚举度（mathcal G\）的以下编码定理：（mathcal-G\）上的每个可数关系都可以从（mathca-G\）中的参数统一定义。由此可知，（mathcal G）的一阶理论与二阶算术理论是递归同构的。此外，作者证明了编码定理的“有效版本”，这意味着（Sigma_2^0）枚举度的一阶理论是不可判定的。此外，作者提出了以下问题：\（\mathcal G\）的\（\存在\所有\）-理论是否可判定？（Sigma_2^0）枚举度的一阶理论与一阶算术理论递归同构吗？审核人：M.M.Arslanov（喀山） 引用于24文件 MSC公司： 03日30分 可计算性和递归理论中的其他度和可约性 03B25号 理论和句子集的可决定性 35楼03号 二阶和高阶算术和片段 关键词：枚举度；可还原性；可定义性；不可判定性；编码定理；递归同构；二阶算术 PDF格式BibTeX公司 XML格式引用 \textit{T.A.斯拉曼}和\textit{W.H.伍丁}，拱门。数学。逻辑36，No.4--5，255--267（1997；Zbl 0906.03043） 全文： 内政部