Abstract
We prove that a nontrivial degree spectrum of the successor relation of either strongly η-like or non-η-like computable linear orderings is closed upwards in the class of all computably enumerable degrees. We also show that the degree spectrum contains 0 if and only if either it is trivial or it contains all computably enumerable degrees.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have