School Seminars and Colloquia

Proof Theoretic Ordinals

Set Theory Seminar

by Raj Dahya

Date: Thu 11th June 2009
Time: 4:15 PM
Location: Room 107 Richard Berry Building, The University of Melbourne

Abstract: I will give a bit of an overview of the use of ordinal analysis in proof theory (for theories of arithmetic).

For More Information: contact: Greg Hjorth. email: