Left computably enumerable reals and initial segment complexity

George Davie

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 c…