Reals which Compute Little
暂无分享,去创建一个
We investigate combinatorial lowness properties of sets of natural numbers (reals). The real A is super-low if A′ ≤tt ∅′, and A is jump-traceable if the values of {e}A(e) can be effectively approximated in a sense to be specified. We investigate those properties, in particular showing that super-lowness and jump-traceability coincide within the r.e. sets but none of the properties implies the other within the ω-r.e. sets. Finally we prove that, for any low r.e. set B, there is is a K-trivial set A 6≤T B.
[1] Jeanleah Mohrherr. A Refinement of Low n and High n for the R.E. Degrees , 1986, Math. Log. Q..
[2] R. Soare. Recursively enumerable sets and degrees , 1987 .
[3] Michael Stob,et al. Array nonrecursive sets and multiple permitting arguments , 1990 .
[4] André Nies,et al. Trivial Reals , 2002, CCA.
[5] Sh. T. Ishmukhanetov. Weak recursive degrees and a problem of Spector , 2022 .