Inherent enumerability of strong jump-traceability

David Diamondstone,Noam Greenberg,Daniel D. Turetsky
DOI: https://doi.org/10.1090/s0002-9947-2014-06089-3
IF: 1.3529
2014-11-12
Transactions of the American Mathematical Society
Abstract:<p> We show that every strongly jump-traceable set obeys every benign cost function. Moreover, we show that every strongly jump-traceable set is computable from a computably enumerable strongly jump-traceable set. This allows us to generalise properties of c.e. strongly jump-traceable sets to all such sets. For example, the strongly jump-traceable sets induce an ideal in the Turing degrees; the strongly jump-traceable sets are precisely those that are computable from all superlow Martin-Löf random sets; the strongly jump-traceable sets are precisely those that are a base for <math alttext="normal upper D normal e normal m normal u normal t normal h Subscript normal upper B normal upper L normal upper R"> <semantics> <msub> <mrow> <mi mathvariant="normal">D</mi> <mi mathvariant="normal">e</mi> <mi mathvariant="normal">m</mi> <mi mathvariant="normal">u</mi> <mi mathvariant="normal">t</mi> <mi mathvariant="normal">h</mi> </mrow> <mrow> <mrow> <mi mathvariant="normal">B</mi> <mi mathvariant="normal">L</mi> <mi mathvariant="normal">R</mi> </mrow> </mrow> </msub> <annotation>\mathrm {Demuth}_{\mathrm {BLR}}</annotation> </semantics> </math> randomness; and strong jump-traceability is equivalent to strong superlowness. </p>
mathematics
What problem does this paper attempt to address?