The following pages link to (Q3140631):
Displaying 5 items.
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
- The Kreisel length-of-proof problem (Q1353977) (← links)
- Cut-elimination: syntax and semantics (Q2259012) (← links)
- Theories very close to <i>PA</i> where Kreisel's Conjecture is false (Q3426567) (← links)