Speed-Up by Theories with Infinite Models

DOI10.2307/2043488zbMath0469.03040OpenAlexW4236804331MaRDI QIDQ3922672

Richard Statman

Publication date: 1981

Full work available at URL: https://doi.org/10.2307/2043488

zbMATH Keywords

proof theorylength of proofsspeed-up of theories

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Related Items

On the number of steps in proofs, A lower bound for intuitionistic logic

Cites Work

• Some applications of formalized consistency proofs
• Bounds for proof-search and speed-up in the predicate calculus
• Some Results on the Length of Proofs