Pages that link to "Item:Q4041554"
From MaRDI portal
The following pages link to Sets of theorems with short proofs (Q4041554):
Displaying 11 items.
- Remark on Kreisel's conjecture (Q684960) (← links)
- The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- The undecidability of \(k\)-provability (Q1176199) (← links)
- Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
- The Kreisel length-of-proof problem (Q1353977) (← links)
- A unification-theoretic method for investigating the \(k\)-provability problem (Q1814133) (← links)
- Generalizing theorems in real closed fields (Q1899140) (← links)
- Herbrand's theorem and term induction (Q2491080) (← links)
- Taking out <i>LK</i> parts from a proof in Peano arithmetic (Q3788004) (← links)
- Some Results on the Length of Proofs (Q5686023) (← links)
