PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson, Jan Reimann, Jason Rute.

Title:The reverse mathematics of Ramsey's Theorem
Seminar:Logic Seminar
Speaker:Stephen G. Simpson, Pennsylvania State University
Questions about the reverse-mathematical status of Ramsey's Theorem have been of great interest for more than 40 years. I will begin with a brief survey of known results. After that, I will discuss a very recent result due to Ludovic Patey and Keita Yokoyama: WKL_0 + RT(2,2) is conservative over RCA_0 for sentences of the form (forall X) A(X) where A is a Pi^0_3 formula.

Room Reservation Information

Room Number:MB315
Date:01 / 26 / 2016
Time:02:30pm - 03:45pm