Proof-theoretic ordinals for theories in the language of
(second order) arithmetic and set theory
W. Pohlers
Abstract
We give a survey on the ordinal analysis of theories in the
language of arithmetic and set theory with emphasis on impredicative
theories.