Your location:
Home page
>
Program
Print
Program
List of Speakers/Chairs
Chi Tat Chong
Share on:
Affiliation / Organization:
National University of Singapore
Biography:
Videos:
0
Abstracts:
1
321
0
0
Date
Time
Local Time
Room
Session
Role
Topic
2023-07-24
08:00-09:00
2023-07-24,08:00-09:00
LR10 (A7 1F)
07-24 Morning Math Lecture Room 10 (A7 1F)
Speaker
Logical analysis of Ramsey type theorems
This lecture is concerned with the reverse mathematics of Ramsey type combinatorial theorems, focusing on their proof-theoretic complexity and strength using the tools of subsystems of second order arithmetic.