Maths›03. Logic and FoundationsChapter 15. Ordinal AnalysisProof theoretic ordinals, transfinite induction, strength of theories, applications to arithmetic, and limits of formal strength.