English

Anti-complex sets and reducibilities with tiny use

Logic 2011-10-04 v1

Abstract

In contrast with the notion of complexity, a set AA is called anti-complex if the Kolmogorov complexity of the initial segments of AA chosen by a recursive function is always bounded by the identity function. We show that, as for complexity, the natural arena for examining anti-complexity is the weak-truth table degrees. In this context, we show the equivalence of anti-complexity and other lowness notions such as r.e.\ traceability or being weak truth-table reducible to a Schnorr trivial set. A set AA is anti-complex if and only if it is reducible to another set BB with \emph{tiny use}, whereby we mean that the use function for reducing AA to BB can be made to grow arbitrarily slowly, as gauged by unbounded nondecreasing recursive functions. This notion of reducibility is then studied in its own right, and we also investigate its range and the range of its uniform counterpart.

Keywords

Cite

@article{arxiv.1110.0304,
  title  = {Anti-complex sets and reducibilities with tiny use},
  author = {Johanna N. Y. Franklin and Noam Greenberg and Frank Stephan and Guohua Wu},
  journal= {arXiv preprint arXiv:1110.0304},
  year   = {2011}
}

Comments

20

R2 v1 2026-06-21T19:14:05.776Z