Logo image
Se connecter
The Kraft–Barmpalias–Lewis-Pye lemma revisited
Prépublication

The Kraft–Barmpalias–Lewis-Pye lemma revisited

10/04/2023

Résumé

Computer Science - Data Structures and Algorithms Computer Science - Information Theory Mathematics - Information Theory Mathematics - Logic
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 Kucera--Gács theorem (saying that every sequence is Turing reducible to a random one).

Indicateurs

1 Consultations de la notice

Détails

Logo image