The Foundational Impact of Recursion Theory

University of Connecticut at Storrs
May 22, 2016

Schedule of talks

The conference was held in room LH 302 of Laurel Hall on the University of Connecticut campus. Laurel Hall is in section E4 of the campus map.

9:15–9:30 Welcome and Introductory Remarks
9:30–10:00 Paul Shafer
“A tour of the mass problems” (abstract)
10:10–10:35 Coffee Break
10:40–11:30 Richard Shore
“The Muchnik degrees of nonempty $\Pi_{1}^{0}$ classes are dense” (abstract)
11:40–12:10 Ludovic Patey
“The weakness of Ramsey's theorem under omniscient reductions” (abstract)
12:15–1:45 Lunch
1:45–2:35 Carl Jockusch
“Effectiveness and strength of Hindman's theorem for bounded sums” (abstract)
2:45–3:35 Ted Slaman
“Recursion Theory and Diophantine Approximation” (abstract)
3:45–4:10 Coffee Break
4:10–4:40 Antonio Montalbán
“Many-one degrees with names like John or Paul” (abstract)
4:50–5:20 Stephen Flood
“The Logic of Graph Decompositions” (abstract)
5:30–6:00 François Dorais
“Set-theoretic interpretations below $\text{ATR}_0$” (abstract)
6:30 Conference dinner at Chang's Garden (more information)