Ordinal analysis
In proof theory, ordinal analysis assigns ordinals to mathematical theories in order to measure their strength.
Examples
References
- Pohlers, W., Proof theory
This is an old revision of this page, as edited by R.e.b. (talk | contribs) at 06:27, 4 March 2008 (←Created page with 'In proof theory, '''ordinal analysis''' assigns ordinals to mathematical theories in order to measure their strength. ==Examples== ==Refer...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
In proof theory, ordinal analysis assigns ordinals to mathematical theories in order to measure their strength.