A jump class of noncappable degrees
暂无分享,去创建一个
[1] Michael Stob,et al. Splitting properties and jump classes , 1981 .
[2] David P. Miller. High recursively enumerable degrees and the anti-cupping property , 1981 .
[3] Gerald E. Sacks,et al. Recursive enumerability and the jump operator , 1963 .
[4] Michael Stob,et al. Relative Recursive Enumerability , 1982 .
[5] Alistair H. Lachlan,et al. Lower Bounds for Pairs of Recursively Enumerable Degrees , 1966 .
[6] Robert I. Soare,et al. Logic Year 1979–80 , 1981 .
[7] G. Sacks. Degrees of unsolvability , 1965 .
[8] Robert I. Soare,et al. An algebraic decomposition of the recursively enumerable degrees and the coincidence of several degree classes with the promptly simple degrees , 1984 .