Kolmogorov complexity of initial segments of sequences and arithmetical definability
George Barmpalias, Charlotte Vlek

Abstract: