The Kraft--Barmpalias--Lewis-Pye lemma revisited
Résumé
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).
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
