Logo image
Se connecter
The Kraft--Barmpalias--Lewis-Pye lemma revisited
Document de travail   Open Access

The Kraft--Barmpalias--Lewis-Pye lemma revisited

Alexander Shen

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).

Fichiers et liens (1)

url
Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Logo image