Event Detail
|
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.