17 Sun | 18 Mon | 19 Tue | 20 Wed | 21 Thu | 22 Fri | 23 Sat |
---|---|---|---|---|---|---|
All-day
|
||||||
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
|
|
1:30 pm
Logic seminar: David Webb (Chaminade U.)
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[...]
|
|
|
|
|