bn:00848663n
Noun Concept
SYL
No term available
EN
In proof theory, ordinal analysis assigns ordinals to mathematical theories as a measure of their strength. Wikipedia
Sources