We show that a set has an η-representation in a linear order if and only if it is the range of a 0'-computable limitwise monotonic function. We also construct a Δ₃ Turing degree for which no set in ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback