SOME RESULTS ON DEGREES OF UNSOLVABILITY

被引：0
|
作者：
邹志明
机构：
[1] Institute of Software Research
[2] Academia Sinica
[3] Beijing
来源：
Science Bulletin | 1988年 / 24期
关键词：
recursion theory; degrees of unsolvability; generic degree;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Since Post’s problem was solved, theory of degrees of unsolvability has been playing an important role in recursion theory. Our aim is to study non-recursive enumerable degrees. We are interested in minimal degrees, minimal cover and generic
引用
收藏
页码：2011 / 2014
页数：4
相关论文
共 50 条
12345