克里斯蒂安森，拉尔斯;施拉盖·普赫塔（Schlage-Puchta，Jan-Chritoph）;安德烈亚斯·魏尔曼 流线型次递归度理论。 （英语） Zbl 1245.03063号 Ann.纯粹应用。逻辑 163，第6号，698-716（2012）. 本文由两部分组成。第一部分致力于研究诚实初等度的结构，即通过可约关系“being（Kalmar）elemental in”诱导诚实函数的度结构。在第二部分中，对第一部分中的度理论进行了推广。引入了可约关系“being（\alpha）-elementary in”，其中（\alfa）是序数（\leq\varepsilon_{0}），并研究了诚实（\alba\）-初等度的结构。本文还讨论了度理论与Peano算法可证明性之间的关系。审核人：Roman Murawski（波兹南） 引用于1审查引用于6文件 MSC公司： 20日03时 递归函数和关系、子递归层次结构 03日30分 可计算性和递归理论中的其他度和可约性 30楼03号 一阶算法和片段 关键词：次递归度;诚实的职能;PA中的可证明性 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}等人，Ann.Pure Appl。逻辑163，No.6，698--716（2012；Zbl 1245.03063） 全文： 内政部 参考文献： [1] 布兰克茨，B。；Weiermann，A.，《如何刻画可证明的总函数》（Hajek，Gödel’96：数学、计算机科学和物理的逻辑基础），Gódel'96：数学的逻辑基础，计算机科学和物理学，斯普林根逻辑讲义，第6卷（1996），205-213·Zbl 0854.03053号 [2] 布赫霍尔茨，W。；Cichon，A。；魏尔曼，A.，《基本序列和层次的统一方法》，《数学逻辑季刊》，40，2，273-286（1994）·Zbl 0812.03023号 [3] Kristiansen，L.，递归集的信息内容和计算复杂性，（Hajek，Gödel'96:数学、计算机科学和物理的逻辑基础。Gödel'96:数理逻辑基础，Springer逻辑讲义，第6卷（1996）），235-246·Zbl 0866.03022号 [4] Kristiansen，L.，诚实次递归度上的跳算子，《数理逻辑档案》，37105-125（1998）·Zbl 0899.03031号 [5] Kristiansen，L.，《皮亚诺算术的次递归次数和片段》，《数理逻辑档案》，40365-397（2001）·Zbl 0982.03022号 [6] Kristiansen L.，关于次递归理论的论文。科学博士论文，ISSN 0806-3036，ISBN 82-7368-130-0，研究报告217，奥斯陆大学信息学系，1996年。；Kristiansen L.，关于次递归理论的论文。科学博士论文，ISSN 0806-3036，ISBN 82-7368-130-0，研究报告217，奥斯陆大学信息学系，1996年。 [7] 克里斯蒂安森·L·{低}_n，\text{高}_n\)，和中间次递归度，（Calude；Dinneen，组合数学，计算和逻辑（论文集）（1999），Springer:Springer Singapore），286-300·Zbl 0973.03059号 [8] Lindström，P.，《不完整性的方面》（1997），斯普林格-Verlag·兹伯利0882.03054 [9] Machtey，M.，《增强循环语言和可计算函数类》，《计算机与系统科学杂志》，第6期，第603-624页（1972年）·Zbl 0312.68028号 [10] Machtey，M.，诚实的子递归类是一个格，信息与控制，24247-263（1974）·Zbl 0291.02026号 [11] Machtey，M.，《关于诚实次递归类的密度》，《计算机与系统科学杂志》，10183-199（1975）·Zbl 0336.02031 [12] Meyer，A.R。；Ritchie，D.M.，递归函数的分类，Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik，18，71-82（1972）·Zbl 0247.02037号 [13] Odifreddi，P.，《经典递归理论》（1989），北荷兰·兹伯利0931.03057 [14] Péter，R.，Rekursive Funktitonen（1957），Verlag der Ungarischen Akademie der Wissenschaften:Verlag de Ungarishen Akadelime der Wisenschaften Budapest，[英文翻译：学术出版社，纽约，1967年]·Zbl 0077.01303号 [15] Rogers，H.，《递归函数和有效可计算性理论》（1967），麦格劳·希尔·Zbl 0183.01401号 [16] Rose，H.E.，《次递归》。《功能和等级》（1984），克拉伦登出版社：牛津克拉伦登出版公司·Zbl 0539.03018号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。