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.