The First International Congress of Basic Science (ICBS)

Your location：Home page > Program

Print Program List of Speakers/Chairs

Chi Tat Chong

Affiliation / Organization：

National University of Singapore

Biography：

Videos：0

Abstracts：1

321

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.