This question comes from the Wikipedia article on Kleene's O and a previous Math Overflow question. The claim in Wikipedia that I have a question about is the second sentence in the following quote. "There exist $\aleph_0$ paths through $\mathcal{O}$ which are $\Pi^1_1$. Given a progression of recursively enumerable theories based on iterating Uniform Reflection, each such path is incomplete with respect to the set of true $\Pi^0_1$ sentences." I do not understand the informal proof in the second sentence I would appreciate a more complete explanation and/or a reference.
The basic reference for this is Feferman and Spector, Incompleteness Along Paths in Progressions of Theories [JSL 27 (1962), 383390]. Theorem 2.5 states:
Here, $\Pi$ basically means $\Pi^1_1$ in modern notation, $Tr_1$ is the set of true $\Pi^0_1$ sentences, and $\{S_d : d \in I\}$ is any progression of theories such that:
Then, Theorem 3.7 states:
Here, $O^\ast$ is an extension of $O$ with some nonstandard notations, and $C'(d)$ is the set of predecessor of such a notation. (Basically, $O^\ast$ has the same definition as $O$, but one quantifies only over the hyperarithmetic subsets of $\omega$ instead of all subsets of $\omega$. Thus, elements of $O^\ast$ describe pseudowellorderings: linear orders that have no hyperarithmetic descending sequences. By a wellknown result of Kleene, it follows that $O^\ast$ is $\Sigma^1_1$ and therefore $O^\ast  O$ is nonempty.) 

