Speed-Up by Theories with Infinite Models

DOI10.2307/2043488MaRDI QIDQ3922672zbMATH OpenOpenAlexFDO

Authors Richard Statman

Publication date 1981

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

zbMATH Keywords

length of proofsproof theoryspeed-up of theories

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Cites work

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

Cited in

(2)

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

This page was built for publication: Speed-Up by Theories with Infinite Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3922672)