Pages that link to "Item:Q843609"

The following pages link to The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609):

Displaying 5 items.

• Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
• \(k\)-provability in \(\mathrm{PA}\) (Q2070428) (← links)
• On the generation of quantified lemmas (Q2417949) (← links)
• VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY (Q5037515) (← links)