Unwrapping the proof of the fact that an illfounded computable tree can have no hyperarithmetic branches – mathoverflow.net

(Experts can skip the following two paragraphs, which are written for the sake of completeness of MathOverflow.) Standard definitions (recalled for convenience): In this question, a tree means a ...