ordinal analysis (Q7100782)
Jump to navigation
Jump to search
mathematical technique in proof theory that associates large countable ordinals to mathematical theories as a measure of their proof-theoretic strengths
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ordinal analysis |
mathematical technique in proof theory that associates large countable ordinals to mathematical theories as a measure of their proof-theoretic strengths |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Ordinal analysis