School Seminars and Colloquia

Proof Theoretic Ordinals

Set Theory Seminar

by Raj Dahya


Institution: The University of Melbourne, Mathematics and Statistics Department
Date: Thu 16th July 2009
Time: 4:15 PM
Location: Room 107, Richard Berry Building, The University of Melbourne

Abstract: The ordinals below \varepsilon_{0} can be used in to analyse proofs in
Sequent Calculus, and provide, interestingly, consistency proof of
certain systems. I will provide an overview of how it all works, involving various definitions and the stating of key results.
In my second talk, I plan to run through one of the proofs for, say, PA. This first talk is important, as it will make clear, the
philosophical framework for accepting this.

For More Information: contact: Greg Hjorth. email: G.Hjorth@ms.unimelb.edu.au