We are interested in the computability between left c.e. reals $\alpha$ and their initial segments. We show that the quantity $C(C(\alpha_n)|\alpha_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.
翻译:我们感兴趣的是,左翼(c) e. reals $\ alpha$ 及其初始部分之间的可乘性。我们显示,美元(C) (alpha_n) $(alpha_n) 的金额在这一点及其完整性方面起着关键作用。我们特别研究了Chaitin 的理论及其因Frank Stephan而出现的相对化。