Calendar

Sep
19
Tue
Logic seminar: David Webb (Chaminade U.)
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.