Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
countable ordinal
|
| gptkbp:alsoKnownAs |
Γ₀
|
| gptkbp:appearsIn |
gptkb:second-order_arithmetic
proof-theoretic ordinal of predicative analysis |
| gptkbp:definedIn |
fixed point of the Veblen function φ(α,0)
|
| gptkbp:describedBy |
proof theory
|
| gptkbp:firstOrdinalNotPredicativelyProven |
true
|
| gptkbp:greaterThan |
ε₀
|
| gptkbp:hasProperty |
smallest non-predicative ordinal
|
| https://www.w3.org/2000/01/rdf-schema#label |
Feferman–Schütte ordinal
|
| gptkbp:lessThan |
gptkb:Bachmann–Howard_ordinal
|
| gptkbp:limitation |
predicative ordinals
|
| gptkbp:namedAfter |
gptkb:Solomon_Feferman
gptkb:Kurt_Schütte |
| gptkbp:notation |
Γ₀
|
| gptkbp:ordinalType |
countable ordinal
limit ordinal |
| gptkbp:symbol |
Γ₀
|
| gptkbp:usedIn |
ordinal analysis
predicative mathematics |
| gptkbp:bfsParent |
gptkb:Solomon_Feferman
|
| gptkbp:bfsLayer |
5
|