✦ LIBER ✦
Ann. Pure Appl. Logic: Erratum to “What's so special about Kruskal's theorem and the ordinal Γ0? A survey of some results in proof theory” [53 (1991) 199–260]
✍ Scribed by Jean H. Gallier
- Publisher
- Elsevier Science
- Year
- 1997
- Tongue
- English
- Weight
- 77 KB
- Volume
- 89
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
✦ Synopsis
Gopalan Nadathur has pointed out that there is a gap in the proof of Theorem 4.5, pp. 2077208. Specifically, there is a gap in the proof of the claim that 5 is a WC~~> on 9 (line 11 of p. 208). The problem is that even though tk 3 t,. the proof does not ensure that k < 11 (line 16 of p. 208). However, the proof of the claim can be repaired as follows: