The Lengths of Proofs: Kreisel's conjecture and Gödel's speed-up theorem
S. Cavagnetto

This publication is cited in the following articles:

1. Jeffrey Ketland, “Standard Formalization”, Axiomathes, 32:S3 (2022), 711  
2. PAULO GUILHERME SANTOS, REINHARD KAHLE, “VARIANTS OF KREISEL'S CONJECTURE ON A NEW NOTION OF PROVABILITY”, Bull. symb. log, 27:4 (2021), 337  
3. Paulo Guilherme Santos, Reinhard Kahle, “k-Provability in $\hbox {PA}$”, Log. Univers., 15:4 (2021), 477  
4. Gabriel Ebner, Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller, “On the Generation of Quantified Lemmas”, J Autom Reasoning, 63:1 (2019), 95  
5. Thierry Boy de la Tour, Nicolas Peltier, “Proof Generalization in $\mathrm {LK}$ LK by Second Order Unifier Minimization”, J Autom Reasoning, 57:3 (2016), 245