×

广义可计算性的一些方面。 (英语。俄文原件) Zbl 0288.02022号

代数逻辑 12(1973), 125-131 (1974); 《代数罗技》1220-231(1973)的翻译。

MSC公司:

03日第10天 图灵机及其相关概念
03D99号 可计算性和递归理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部 欧洲DML

参考文献:

[1] H.Rogers,Jr.,《递归函数和有效可计算性理论》,McGraw-Hill(1967)·Zbl 0183.01401号
[2] N.V.Belyakin,“广义计算和二阶算术”,《Logika代数》,第9期,第4期(1970年)·Zbl 0278.02036号
[3] W.Richter,“递归Mahlo序数和归纳定义”,《69年逻辑讨论会》(英国曼彻斯特逻辑讨论会,1971年),第273-288页·Zbl 0252.02024号
[4] W.Richter,“可构造地访问序数”,J.Symb。逻辑,33,43–45(1968)·Zbl 0197.00503号 ·doi:10.2307/270051
[5] C.Spector,“自然数的归纳定义集”,载于:无限方法,华沙(1961),第97-102页·Zbl 0116.00704号
[6] S.C.Kleene,“有限类型的递归泛函和量词”,Trans。阿默尔。数学。《社会学杂志》,第91期,第1-52页(1959年)·Zbl 0088.01301
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。