Local noncuppability in R/M
暂无分享，去创建一个
Given any [c], [a], [d] xxxxxxxxR/M such that [d] ≤ [a] ≤ [c], [a] is locally noncuppable between [c] and [d] if [d] < [a] ≤ [c] and [a] ∨ [b] < [c] for any [b] xxxxxxxxR/M such that [d] ≤ [b] < [c]. It will be shown that given any nonzero [c] xxxxxxxxR/M, there are [a], [d] xxxxxxxxR/M such that [d] < [a] ≤ [c] and [a] is locally noncuppable between [c] and [d].
[1] Steven Schwarz. The quotient semilattice of the recursively enumerable degrees modulo the cappable degrees , 1984 .
[2] Sui Yuefei,et al. The cupping theorem in r/m , 1999 .
[3] 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 .
[4] S. B. Cooper. Questions in recursion theory , 1996 .
[5] R. Soare. Recursively enumerable sets and degrees , 1987 .