Buchholz's ordinal (Q8083999)
Jump to navigation
Jump to search
the proof‐theoretic ordinal of the subsystem Π₁¹‐CA₀ of 2nd‐order arithmetic
- Ψ₀(Ωω)
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Buchholz's ordinal |
the proof‐theoretic ordinal of the subsystem Π₁¹‐CA₀ of 2nd‐order arithmetic |
|
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Buchholz's ordinal