| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
|
Logic seminar: David Webb (Chaminade U.)
1:30 pm
Logic seminar: David Webb (Chami...
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[...]
|
||||||
|
Logic seminar: Dusko Pavlovic
1:30 pm
Logic seminar: Dusko Pavlovic
Sep 26 @ 1:30 pm – Sep 26 @ 2:30 pm
|
