Kolmogorov complexity of initial segments of sequences and arithmetical definability. - George Barmpalias; C. S. Vlek (Theor. Comput. Sci., 2011)