| 30 Tue |
|---|
|
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
3:30 pm
Steffen Lempp (Madison): On the role of the Collection Principle for Sigma-0-2-formulas in second-order reverse mathematics
Steffen Lempp (Madison): On the ...
Mar 30 @ 3:30 pm – 4:30 pm
Title: On the role of the Collection Principle for Sigma-0-2-formulas in second-order reverse mathematics. Abstract: This is joint work with Chitat Chong and Yue Yang. We show that the principle PART from Hirschfeldt and Shore[...]
|