η-representation of sets and degrees
Kenneth D. Harris · Journal of Symbolic Logic · 2008
Abstract 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 Δ3 Turing degree for which no set in that degree has a strong η-representation, answering a question posed by Downey.