A Note on Lowness for ${\Pi }_1^0$-Immunity

David J. Webb

We show that the only degree which cannot co-enumerate a non-trivial ${\Pi }_1^0$-immune real is $\varnothing$, resolving a conjecture of the author. The main ingredient is that if a real…