×

算术层次和不动点的完备性。 (英语。俄文原件) Zbl 0692.03030号

代数逻辑 28,编号1,1-9(1989); 《代数逻辑》28,第1期,第3-17页(1989年)的译文。
请参阅中的评论Zbl 0687.03026号.

MSC公司:

03D55号 可计算性和可定义性的层次结构
03D25号 递归(可计算)可枚举集和度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] M.M.Arslanov,递归可枚举集和不可解度[俄语],喀山州立大学(1986)·Zbl 0648.03028号
[2] A.N.Degtev,“算法理论中真实类型的可约简性”,Usp。马特·诺克,34,第3期,137-168(1979年)·Zbl 0412.03027号
[3] 余。L.Ershov,“集合的层次结构,I”,《代数逻辑学》,第7卷第1期,第47–74页(1968年)·Zbl 0216.00901号
[4] 余。L.Ershov,“集合的层次结构,II”,《代数逻辑学》,第7期,第4期,第15-41页(1968年)·Zbl 0216.00902号
[5] Sh.T.Ishmukhametov,“递归可枚举集的差分类”,Izv。维什。乌切布。扎韦德。,材料,第5号,78-79(1983年)·Zbl 0522.03030号
[6] S.Kallibekov,“m度指数集”,Sib。材料Zh。,第12卷第6期,1292-1300页(1971年)。
[7] H.Rogers,递归函数和有效可计算性理论,McGraw-Hill,纽约(1967)·Zbl 0183.01401号
[8] L.Hay,“Dr.e.集的Rice定理”,Can。数学杂志。,27,第2期,352-365(1975年)·Zbl 0309.02040号 ·doi:10.4153/CJM-1975-043-4号文件
[9] E.Herrmann,“递归可枚举集格中的可定义结构”,J.Symb。《逻辑》,49,第4期,1190-1197(1984)·Zbl 0579.03026号 ·doi:10.2307/2274271
[10] G.E.Sacks,《数学年鉴》,“递归可数度很密集”。研究,80,第2期,300-312(1964)·Zbl 0135.00702号 ·doi:10.2307/1970393
[11] G.E.Sacks,不溶性程度,第2版。,安。数学。研究,55(1966)。
[12] R.I.Soare,《递归可枚举集和度:可计算函数和可计算生成集的研究》,Springer-Verlag,Berlin-New York(1986)·Zbl 0667.03030号
[13] C.E.M.Yates,“关于指数集的程度”。美国数学。《社会》,121309-328(1966年)·Zbl 0143.25401号 ·doi:10.1090/S0002-9947-1966-0184855-9
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。