Kuykendall Hall 210

Title: Low($\Pi^0_1$-IM) = $\Delta^0_1$

Abstract: My dissertation investigated $\Pi^0_1$-immune sets, i.e. those
that have no co-enumerable subset. This talk continues that work, first
connecting it to modern notions of computability-theoretic lowness. Then
I settle (in the affirmative) a conjecture that my dissertation left
open: only the computable sets fail to co-enumerate a $\Pi^0_1$-immune
set.