Pages that link to "Item:Q843609"
From MaRDI portal
The following pages link to The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609):
Displaying 11 items.
- Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
- Challenges to the assessment of time-to-proof of mathematical conjectures (Q393479) (← links)
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- The Kreisel length-of-proof problem (Q1353977) (← links)
- \(k\)-provability in \(\mathrm{PA}\) (Q2070428) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- Relativized Gödel speed-up and the degree of succinctness of representations (Q3197811) (← links)
- Some results on speed-up (Q3335776) (← links)
- Theories very close to <i>PA</i> where Kreisel's Conjecture is false (Q3426567) (← links)
- On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics (Q4314669) (← links)
- VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY (Q5037515) (← links)
