PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson.

Title:The strength of Ramsey's Theorem for Pairs
Seminar:Logic Seminar
Speaker:Chi-Tat Chong, National University of Singapore
Abstract Link:http://
Ramseys's Theorem for Pairs (RT^2_2) states that every coloring of pairs of numbers into two colors (red or blue) has an infinite homogeneous set A, i.e. pairs of numbers from A all share the same color. A seemingly weaker version of RT^2_2, the Stable Ramsey's Theorem for Pairs, states that the same conclusion holds for coloring of pairs with the additional property that all pairs of numbers with the same first co-ordinate are eventually all red or blue. In this talk we sketch a proof of a recent result that over the base theory RCA_0, SRT^2_2 is strictly weaker than RT^2_2, solving an open problem in reverse mathematics. This is joint work with Ted Slaman and Yue Yang.

Room Reservation Information

Room Number:MB106
Date:06 / 11 / 2012
Time:10:00am - 11:15am