The Kraft–Barmpalias–Lewis-Pye lemma revisited

04/10/2023

∙

by   Alexander Shen, et al.

∙

0

∙

share

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čera–Gács theorem (saying that every sequence is Turing reducible to a random one).