Sep

19

Tue

Sep 19 @ 1:30 pm – Sep 19 @ 2:30 pm

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.