论文信息 - Splitting Theorems and the Jump Operator - 字舞流文

Splitting Theorems and the Jump Operator

Abstract 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 low2.

Rodney G. Downey | Richard A. Shore

[1] R. Soare. Recursively enumerable sets and degrees , 1987 .

[2] Klaus Ambos-Spies,et al. Anti-Mitotic Recursively Enumerable Sets , 1985, Math. Log. Q..

[3] Rodney G. Downey. On the Universal Splitting Property , 1997, Math. Log. Q..

[4] Richard M. Friedberg,et al. Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication , 1958, Journal of Symbolic Logic.

[5] Michael Stob,et al. Splitting Theorems in Recursion Theory , 1993, Ann. Pure Appl. Logic.

[6] Klaus Ambos-Spies,et al. Degree Theoretical Splitting Properties of Recursively Enumerable Sets , 1988, J. Symb. Log..

[7] Rodney G. Downey,et al. Completely Mitotic r.e. Degrees , 1989, Ann. Pure Appl. Log..

[8] Jeffrey B. Remmel,et al. The universal splitting property. II , 1984, Journal of Symbolic Logic.

[9] Richard E. Ladner,et al. Mitotic recursively enumerable sets , 1973, Journal of Symbolic Logic.

[10] Rodney G. Downey. Localization of a theorem of Ambos-Spies and the strong anti-splitting property , 1987, Arch. Math. Log..

[11] P. Odifreddi. Classical recursion theory , 1989 .