CT Logic Seminar, Reed Solomon (UConn): "Strong reducibilities, RT^1_3 and SRT^2_2"

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.

CT Logic Seminar, Reed Solomon (UConn): "Strong reducibilities, RT^1_3 and SRT^2_2" 4:45 PM - 6:00 PM (ET)
Exley Science Center (Tower)
265 Church Street, Middletown, CT 06457
Get Directions
Event Date
Event Time
Title
Building