arXiv:1111.4339 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords computably enumerable set, kolmogorov complexity, trivial initial segment prefix-free complexity, main original result, finite programs Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset