×

一种可计算的范畴结构,其通过常数的扩展具有无限的可计算维度。 (英语) Zbl 1055.03026号

总结:P.Cholak、S.Goncharov、B.Khoussainov、和R.A.海岸[同上,64、13–37(1999年;Zbl 0928.03040号)]证明了对于每一个(k>0)都有一个可计算范畴结构,其常数展开具有可计算维数。我们证明了用\(\ omega \)替换\(k \)也是如此。我们的证明使用了Goncharov左右操作方法的一个版本。

MSC公司:

03C57号 可计算结构理论
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] P.Cholak、S.S.Goncharov、B.Khoussainov和R.A.Shore,《符号逻辑杂志》,第64卷(1999年),第13-37页。JSTOR公司:·Zbl 0928.03040号 ·电话:10.2307/2586747
[2] Y.L.Ershov、S.S.Goncharov、A.Nerode和J.B.Remmel(编辑)《递归数学手册》,《逻辑研究和数学基础》,第138-139卷,Elsevier Science,阿姆斯特丹,1998年·Zbl 0930.03037号
[3] S.S.Goncharov可计算单值数值,《代数与逻辑》,第19卷(1980年),第325-356页·Zbl 0514.03029号 ·doi:10.1007/BF01669607
[4] V.S.Harizanov《纯可计算模型理论》,载于Ershov等人[?],第3-114页·Zbl 0952.03037号
[5] D.R.Hirschfeldt本质c.e.关系的度谱,《符号逻辑杂志》,第66卷(2001年),第441-469页。JSTOR公司:·Zbl 0988.03065号 ·doi:10.2307/2695024
[6] D.R.Hirschfeldt、B.Khousainov、R.A.Shore和A.M.Slinko代数结构中的度谱和可计算维度,《纯粹和应用逻辑年鉴》,第115卷(2002年),第71-113页·Zbl 1016.03034号 ·doi:10.1016/S0168-0072(01)00087-2
[7] B.Khousainov和R.A.Shore可计算同构,关系的度谱和Scott家族,《纯粹和应用逻辑年鉴》,第93卷(1998年),第153-193页·Zbl 0927.03072号 ·doi:10.1016/S0168-0072(97)00059-6
[8] T.Millar递归范畴和持久性,《符号逻辑杂志》,第51卷(1986年),第430-434页。JSTOR公司:·Zbl 0631.03018号 ·doi:10.2307/2274066
[9] R.I.Soare《递归可枚举集和度》,《数理逻辑中的透视》,斯普林格-弗拉格出版社,海德堡,1987年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。