The Kraft--Barmpalias--Lewis-Pye lemma revisited - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
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

Attribution

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More