For more information about this meeting, contact Jason Rute, Stephen Simpson, Jan Reimann.
|Title:||Proving RT_2^2 doesn't imply WKL_0|
|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
|Date:||09 / 23 / 2014|
|Time:||02:30pm - 03:45pm|