Proof Theory¶
Schütte, K. (1977). Proof Theory. Springer-Verlag.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Well-Foundedness (Well-Ordering)
- … by the ordinals needed to prove their consistency (PA at ε₀; systems of second-order arithmetic at larger ordinals — ATR₀ at Γ₀, predicative analysis at the Feferman-Schütte ordinal, Π¹₁-comprehension at the Bachmann-Howard ordinal; ZFC's proof-theoretic ordinal is unknown and the subject of ongoing research).
This sourceComprehensive treatment of ordinal analysis and proof-theoretic ordinals.
- … by the ordinals needed to prove their consistency (PA at ε₀; systems of second-order arithmetic at larger ordinals — ATR₀ at Γ₀, predicative analysis at the Feferman-Schütte ordinal, Π¹₁-comprehension at the Bachmann-Howard ordinal; ZFC's proof-theoretic ordinal is unknown and the subject of ongoing research).
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:9b4c048ebfd1 · see in the full table