Wed Apr 6, 2016
20 Barrows, 4:10–6 PM
|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.