The Kraft--Barmpalias--Lewis-Pye lemma revisited
Information Theory
2023-06-02 v2 Data Structures and Algorithms
math.IT
Logic
Abstract
This note provides a simplified exposition of the proof of hierarchical Kraft lemma proven by Barmpalias and Lewis-Pye and its consequences for the oracle use in the Ku\v{c}era--G\'acs theorem (saying that every sequence is Turing reducible to a random one).
Keywords
Cite
@article{arxiv.2304.04852,
title = {The Kraft--Barmpalias--Lewis-Pye lemma revisited},
author = {Alexander Shen},
journal= {arXiv preprint arXiv:2304.04852},
year = {2023}
}
Comments
(Added a small remark about non-binary case in v.2)