Pi(0)(1) CLASSES WITH COMPLEX ELEMENTS

An infinite binary sequence is complex if the Kolmogorov complexity of its initial segments is bounded below by a computable function. We prove that a Pi(0)(1) class P contains a complex element if and only if it contains a wtt-cover for the Cantor set. That is, if and only if for every Y subset of omega there is an X in P such that X >=(wtt) Y. We show that this is also equivalent to the Pi(0)(1) class's being large in some sense. We give an example of how this result can be used in the study of scattered linear orders.