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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback