The following pages link to Some results on speed-up (Q3335776):
Displaying 8 items.
- Remark on Kreisel's conjecture (Q684960) (← links)
- The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
- The number of proof lines and the size of proofs in first order logic (Q1102280) (← links)
- On the number of steps in proofs (Q1119576) (← links)
- Generalizing theorems in real closed fields (Q1899140) (← links)
- Herbrand's theorem and term induction (Q2491080) (← links)
- Kreisel's Conjecture with minimality principle (Q3399187) (← links)
- Herbrand complexity and the epsilon calculus with equality (Q6178471) (← links)
