Splitting theorems and the jump operator

被引：6
|
作者：
Downey, RG
Shore, RA
机构：
[1] Victoria Univ Wellington, Sch Math & Comp Sci, Wellington, New Zealand
[2] Cornell Univ, Dept Math, Ithaca, NY 14853 USA
来源：
ANNALS OF PURE AND APPLIED LOGIC | 1998年 / 94卷 / 1-3期
基金：
美国国家科学基金会;
关键词：
computably enumerable; splitting; jump operator; high; low(2);
D O I：
10.1016/S0168-0072(97)00066-3
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We investigate the relationship of (jumps of) the degrees of splittings of a computably enumerable set and the degree of the set. We prove that there is a high computably enumerable set whose only proper splittings are low(2). (C) 1998 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：45 / 52
页数：8
相关论文
共 50 条
12345