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
Systèmes complexes, automates et pavages

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

Domains

Mathematics [math]
Fichier principal
Vignette du fichier
2304.04852.pdf (113.4 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Cathy Tuchming  : Connect in order to contact the contributor

https://hal-lirmm.ccsd.cnrs.fr/lirmm-04186554

Submitted on : Tuesday, October 17, 2023-12:17:20 PM

Last modification on : Monday, April 22, 2024-3:37:00 PM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ESCAPE LIRMM UNIV-MONTPELLIER ANR
15 View
8 Download

Altmetric

Share

More