All Questions
Tagged with formal-languages proof-theory
1 question with no upvoted or accepted answers
3
votes
0
answers
722
views
Can third-order arithmetic prove the consistency of second-order arithmetic?
I'm trying to get a deeper understanding of Buss's version of Gödel's speedup proof. In short, if we assume that $Z_0$ is first-order arithmetic, $Z_1$ is second-order arithmetic, and so on, then for $...
- 31