Pages that link to "Item:Q1251655"

The following pages link to A theorem on the formalized arithmetic with function symbols ' and + (Q1251655):

Displaying 6 items.

• The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
• On the number of steps in proofs (Q1119576) (← 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 theorem on generalizations of proofs (Q2640597) (← links)