Ordinal Analysis of Systems of Determinacy (3E017319)

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.