有关递归不可分集的几个结果 |
| |
作者姓名: | 贲可荣 |
| |
作者单位: | 海军工程学院 |
| |
摘 要: | 本文在递归不可分理论方面得到一些结果。 1.对任意给定的非递归r.e.度,均存在r.e.集,A是有丝分裂集且可分裂的两集可要求为递归不可分的r.e.集。 2.对任意高r.e.集C和任意非递归r.e.集D,均存在递归不可分的r.e.集A,B满足A其高度,B具低度,C≤_TA,φ<_TB≤_TD。 3.存在r.e.集A,B,C,D满足(1)A,B递归不可分且形成极小对,(2)AB,AD,CB,CD,(3)A<_TC,B<_TD,(4)A,B具低度,(5)C,D具高度。
|
本文献已被 CNKI 等数据库收录! |
|