重温 Kraft–Barmpalias–Lewis-Pye 引理
The Kraft--Barmpalias--Lewis-Pye lemma revisited
AI总结：
本文简化阐述了 Barmpalias 与 Lewis-Pye 证明的分层 Kraft 引理，并据此分析 Kučera–Gács 定理中谕示使用的相关推论。
摘要：
本笔记对 Barmpalias 和 Lewis-Pye 所证明的分层 Kraft 引理之证明给出了一个简化阐述，并说明其对 Kučera–Gács 定理（该定理断言每个序列都可图灵归约到某个随机序列）中谕示使用情形的推论。
英文摘要：
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čera--Gács theorem (saying that every sequence is Turing reducible to a random one).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
