Martin–Löf reducibility and cost functions

Martin—Löf (ML)-reducibility compares the complexity of K -trivial sets of natural numbers by examining the Martin—Löf random sequences that compute them. One says that a K -trivial set A is ML-reducible to a K -trivial set B if every ML-random computing B also computes A . We show that every K -trivial set is computable from a c.e. set of the same ML-degree. We investigate the interplay between ML-reducibility and cost functions, which are used to both measure the number of changes in a computable approximation, and the type of null sets intended to capture ML-random sequences. We show that for every cost function there is a c.e. set that is ML-complete among the sets obeying it. We characterise the K -trivial sets computable from a fragment of the left-c.e. random real Ω given by a computable set of bit positions. This leads to a new characterisation of strong jump-traceability.