PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

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

Title:Proving RT_2^2 doesn't imply WKL_0
Seminar:Logic Seminar
Speaker:Jake Pardo, Penn State
The different versions of Ramsey's Theorem have long been significant in the study of reverse mathematics, and RT_2^2 has proven to be a particularly significant version. It was a long standing open question whether RT_2^2 implied WKL_0 or not - it was known that the latter doesn't imply the former - however this was recently solved by Liu. I will explain a little bit of the background of this problem and then dive right into the intuitive yet highly technical proof of Liu's great result.

Room Reservation Information

Room Number:MB315
Date:09 / 23 / 2014
Time:02:30pm - 03:45pm