The Kraft--Barmpalias--Lewis-Pye lemma revisited - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Preprints, Working Papers, ... Year : 2023

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

Alexander Shen

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).
Fichier principal
Vignette du fichier
2304.04852.pdf (113.4 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

lirmm-04186554 , version 1 (17-10-2023)

Licence

Identifiers

Cite

Alexander Shen. The Kraft--Barmpalias--Lewis-Pye lemma revisited. 2023. ⟨lirmm-04186554⟩
15 View
8 Download

Altmetric

Share

More