Ordinal Analysis of Systems of Determinacy Ghent University
Ordinal analysis is the branch of proof theory that aims at quantifying the strength of a mathematical theory or statement by assigning to it a "number." These numbers are ordinal numbers, natural extensions of the counting number to the transfinite.