Back to Calendar

Monday, September 28, 2015

4:45 PM - 6:00 PM (ET)

Exley Science Center (Tower)

Event Type

Seminar/Colloquium

Contact

Caryn Canalia

Department

Mathematics and Computer Science

Link

https://eaglet.wesleyan.edu/MasterCalendar/EventDetails.aspx?EventDetailId=64486

** Abstract**:
Various strong reductions between Pi^1_2 principles have been used in recent
years to shed light on difficult problems in reverse mathematics. I will
introduce some of these reductions and discuss their connection to reverse
math. The main theorem of the talk is that RT^1_3 is not strongly computably
reducible to SRT^2_2. This result is joint work with Damir Dzhafarov, Ludovic
Patey and Linda Brown Westrick.