Stephen Binns

Suggest Changes
Learn More
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 Π01 class P contains a complex element if and(More)
The property of smallness for Π1 classes is introduced and is investigated with respect to Medvedev and Muchnik degree. It is shown that the property of containing a small Π1 class depends only on(More)