Ordinal Analysis

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A proof-theoretic method that assigns well-ordered ordinals or ordinal notations to formal theories to measure their consistency strength, inductive/combinatorial complexity, and the strength of their transfinite induction principles.