Documenting regional science exceptionalism: what’s special about WRSA?

Ann. Pure Appl. Logic: Erratum to “What'

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]

✍ Jean H. Gallier 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 77 KB

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). Howeve