Chong Chi Tat: Ramsey’s Theorem on Trees

Invitation to the Logic Seminar at the National University of Singapore

Date: Wednesday, 30 September 2015, 17:00 hrs

Room: S17#04-06, Department of Mathematics, NUS

Speaker: Chong Chi Tat

Title: Ramsey’s Theorem on Trees.

URL: http://www.comp.nus.edu.sg/~fstephan/logicseminar.html

Ramsey’s theorem on trees concerns the existence of a
monochromatic tree isomorphic to the full binary tree, for a given finite
colouring of the latter. The existence of a monochromatic perfect tree is
immediate in the system of Peano arithmetic. The interesting question is
to identify the weakest system that is sufficient for it. We will give a
progress report of our study.