| 15 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
2:30 pm
Keita Yokoyama (Japan Advanced Institute of Science and Technology)
Keita Yokoyama (Japan Advanced I...
Dec 15 @ 2:30 pm – 3:30 pm
Title: Automorphism argument and reverse mathematics by Keita Yokoyama (Japan Advanced Institute of Science and Technology) as part of Computability theory and applications Abstract In the study of models of Peano (or first-order) arithmetic, there[...]
|
