×

\(Pi_1^0)类和关系的强度谱。 (英语) Zbl 1123.03025号

摘要:我们研究了可计算结构之间同构下可计算结构子集图像的弱真度和真度。特别地,我们证明了存在一个低c.e.集,它不能弱真可约为任何分散可计算线性序的任何初始段。

MSC公司:

03C57号 可计算结构理论
03D28号 其他图灵度结构
68问题30 算法信息理论(Kolmogorov复杂性等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 本质ce的度谱。关系66 pp 441–(2001)
[2] Doklady数学55 pp 55–(1997)
[3] 关于第54页975集的排名分数——(1989)
[4] 内政部:10.1016/0168-0072(86)90067-9·Zbl 0605.03020号 ·doi:10.1016/0168-0072(86)90067-9
[5] 递归可枚举的集合和度。可计算函数和可计算生成集的研究(1987)·Zbl 0667.03030号
[6] DOI:10.1016/S0168-0072(98)00014-1·Zbl 0932.03048号 ·doi:10.1016/S0168-0072(98)00014-1
[7] 内政部:10.1007/s00153-005-0288-9·Zbl 1077.03026号 ·doi:10.1007/s00153-005-0288-9
[8] 经典递归理论(1989)
[9] 内政部:10.1016/0168-0072(88)90014-0·Zbl 0651.03034号 ·doi:10.1016/0168-0072(88)90014-0
[10] Zeitschrift für matematische Logik und Grundlagen der Mathematik 32第512页–(1986)
[11] 有效代数方面第26页–(1981)
[12] 可计算结构和超算术层次结构(2000)·Zbl 0960.03001号
[13] DOI:10.1002/1521-3870(200008)46:3&lt;393::AID-MALQ393&gt;3.0.CO;2-H型·Zbl 0973.03060号 ·doi:10.1002/1521-3870(200008)46:3<393::AID-MALQ393>3.0.CO;2-H型
[14] DOI:10.1016/S0168-0072(96)00011-5·Zbl 0883.03029号 ·doi:10.1016/S0168-0072(96)00011-5
[15] Kolmogorov复杂性及其应用简介(1997)·Zbl 0866.68051号
[16] 《科学通报》第7期第621页–(1959年)
[17] 同构存在下可计算结构关系的度谱67 pp 697–(2002)·Zbl 1010.03033号
[18] 当代数学pp 65–(2000)
[19] DOI:10.1016/S0168-0072(97)00056-0·Zbl 0946.03051号 ·doi:10.1016/S0168-0072(97)00056-0
[20] 内政部:10.1016/0168-0072(91)90049-R·Zbl 0744.03035号 ·doi:10.1016/0168-0072(91)90049-R
[21] 内政部:10.1016/0168-0072(91)90097-6·Zbl 0756.03022号 ·doi:10.1016/0168-0072(91)90097-6
[22] 内政部:10.1305/ndjfl/1093635924·Zbl 0753.03016号 ·doi:10.1305/ndjfl/1093635924
[23] DOI:10.1017/CBO9780511629167.005·doi:10.1017/CBO9780511629167.005
[24] DOI:10.1023/A:1023350306979·doi:10.1023/A:10233500306979
[25] 伊利诺伊州数学杂志31页419–(1987)
[26] 递归理论周(Oberwolfach,1989)第141页–(1990)
[27] Stacs 2006:第二十届计算机科学理论方面年度研讨会,2006年2月23日至25日,法国马赛,Proceedings pp 149–
[28] Doklady Mathematics 61第178页–(2000)
[29] 美国数学学会学报173第33页–(1972)·Zbl 0247.00014号
[30] 伪跳跃算子IT.超限迭代、层次和最小覆盖49 pp 1205–(1984)
[31] 内政部:10.2140/pjm.1969.30.67·Zbl 0181.30602号 ·doi:10.2140/pjm.1969.30.67
[32] 内政部:10.1090/S0002-9947-1968-0220595-7·doi:10.1090/S0002-9947-1968-0220595-7
[33] 内政部:10.1305/ndjfl/1071505769·Zbl 1048.03035号 ·doi:10.1305/ndjfl/1071505769
[34] 内政部:10.2307/421207·Zbl 0968.03038号 ·doi:10.2307/421207
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。