Proof Theoretic Ordinals
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: G.Hjorth@ms.unimelb.edu.au