Title: "Theories and Ordinals in Proof Theory"

Abstract: How do ordinals measure the strength and
computational power of formal theories? This talk will be concerned
with the connection between ordinal representation systems and
theories established in ordinal analyses. It focusses on results
which explain the nature of this connection in terms of semantical
and computational notions from model theory, set theory, and
generalized recursion theory.