Maths›03. Logic and FoundationsChapter 15. Ordinal AnalysisProof theoretic ordinals, transfinite induction, strength of theories, applications to arithmetic, and limits of formal strength.
Maths›03. Logic and Foundations7.3 Ordinals and Well OrderingWell ordered sets, order isomorphisms, ordinals, successor ordinals, limit ordinals, and transfinite induction.