论文标题
剩下的计算枚举的真实和初始段的复杂性
Left computably enumerable reals and initial segment complexity
论文作者
论文摘要
我们对C.E.之间的可计算性感兴趣。 REALS $α$及其初始细分市场。我们表明，数量$ c（c（α_n）|α_n）$在其完整性中起着至关重要的作用。我们特别研究了Chaitin的定理及其由于弗兰克·斯蒂芬（Frank Stephan）而引起的相关性。
We are interested in the computability between left c.e. reals $α$ and their initial segments. We show that the quantity $C(C(α_n)|α_n)$ plays a crucial role in this and in their completeness. We look in particular at Chaitin's theorem and its relativisation due to Frank Stephan.
