For more information about this meeting, contact Stephen Simpson, Jan Reimann.
| Title: | The reverse mathematics of Ramsey's Theorem: an overview |
|---|
| Seminar: | Logic Seminar |
|---|
| Speaker: | John Pardo, Pennsylvania State University |
|---|
| Abstract: |
|---|
| Combinatorial principles have proven to be of great interest in reverse mathematics, and Ramsey's Theorem is no exception. I will explain what reverse mathematics is, as well as give a survey of the reverse mathematical and computability-theoretic results surrounding Ramsey's Theorem. |
Room Reservation Information
| Room Number: | MB315 |
|---|
| Date: | 09 / 10 / 2013 |
|---|
| Time: | 02:30pm - 03:45pm |
|---|
