Kolmogorov complexity of initial segments of sequences and arithmetical definability.