克里斯蒂安森，拉尔斯 低次递归度、高次递归度和中等次递归度。 （英语） 兹伯利0973.03059 Calude，C.S.（编辑）等人，《组合数学、计算与逻辑》。DMTCS’99和CATS’99会议记录。新西兰奥克兰，1999年1月18日至21日。新加坡：斯普林格。澳大利亚。计算。科学。Commun公司。21, 3, 286-300 (1999). 本文研究了所谓的诚实函数类和可约性，即函数（f）是（g）中的（Kalmar）初等函数。以通常的方式从\（\leq_E\）中导出的等价类是初等度。如果初级学位包含诚实的功能，那么它就是诚实的。作者证明了对于诚实函数（f）和（g），对于某些固定的（k），（fleq_Eg）iff（g（x）leqf^k（x））。这里，\（f^k\）是一元函数\（f\）的第\（k\）次迭代。对于诚实函数（f），（f）的跳转由（f'（x）=f^{（x+1）}（x）定义。以通常的方式，作者引入了诚实度的跳跃（{mathbfa}），并研究了跳跃算子的性质。结果表明，引入的度结构在许多方面与图灵度结构相似。例如，证明了对所有（n<omega）都有一个诚实度（{mathbf0}^{（n）}<{mathbf a}^{{（n）}<}（n+1）}）。这里是所有基本函数的类。关于整个系列，请参见[Zbl 0932.00058号].审核人：Marat M.Arslanov（喀山） 引用于4文件 MSC公司： 03日30分 可计算性和递归理论中的其他度和可约性 关键词：低（_n）度;高（n）度;次递归度;可还原性;诚实函数;卡尔玛初等函数;诚实的学位;跳跃运算符 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，in：组合数学、计算与逻辑。DMTCS’99和CATS’99会议记录。新西兰奥克兰，1999年1月18日至21日。新加坡：斯普林格。286--300（1999；Zbl 0973.03059）