Wed Apr 6, 2016–Thu Apr 7, 2016
20 Barrows, 11:10 PM–1 AM
|Alfred Tarski Lectures
William W. Tait (Professor Emeritus, Department of Philosophy and CHSS, University of Chicago)
Cut-Elimination for Subsystems of Classical Second-Order Number Theory: The Predicative Case
I will present the classical results of Gentzen and Schuette for first-order and ramified second-order number theory.