Event Kalender

Mo Di Mi Do Fr Sa So
1 2 3 4 5 6 7
8 9 10 11
The proof-theoretic strength of Ramsey's theorem for pairs and two colors
12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 1 2 3 4 5 6
11.02.2016 15:00
 

The proof-theoretic strength of Ramsey's theorem for pairs and two colors

K. Yokoyama (Japan Adv. Institute of Science and Technology, Nomi, Ishikawa, JP and U Berkeley, US)