15. Ordinal Analysis
Ordinal analysis studies the strength of formal theories by measuring how far their methods of proof can justify transfinite induction along well ordered structures. The chapter begins with proof theoretic ordinals, where an ordinal is assigned to a formal theory as a measure of the induction principles and consistency arguments that the theory can support. Transfinite induction is then introduced as a generalization of ordinary induction, allowing properties to be...