2016 Tarski Lectures

The 2016 Tarski Lectures were given by William Tait, of the University of Chicago, on April 4th, April 6th, and April 8th. Each lecture begins at 4:10pm. Following is a breakdown of the lectures:

 

Monday, April 4, 2016

On Skepticism about the Ideal
4:10 - 5:00 pm
20 Barrows Hall

 


Wednesday, April 6, 2016

Cut Elimination for Subsystems of Second Order Number Theory: The Predicative Case
4:10 - 5:00 pm
20 Barrows Hall

 


Friday, April 8, 2016

Cut-Elimination for $\Pi^1_1$ − CA with the $\omega$-Rule – and Beyond (?)
4:10 - 5:00 pm
20 Barrows Hall