A K-trivial set which is not jump traceable at certain orders
We construct a K-trivial c.e. set which is not jump traceable at any order in o(logx). (C) 2012 Elsevier B.V. All rights reserved.
k-triviality jump traceability algorithmic randomness theory of computation