scientific article; zbMATH DE number 4049638

MaRDI QIDQ3786479zbMATH OpenFDO

Authors Jan Krajíček

Publication date 1987

zbMATH Keywords

complexityKreisel's conjectureproofs

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Structure of proofs (03F07) Complexity of proofs (03F20)

Recommendations

• A theorem on generalizations of proofs
• A more general general proof theory
• General proof theory: introduction
• Generic induction proofs
• scientific article; zbMATH DE number 4033743
• scientific article; zbMATH DE number 1552515
• scientific article; zbMATH DE number 2065283
• Generality of proofs and its Brauerian representation
• Proofs and constructions

Cited in

(14)

• The number of proof lines and the size of proofs in first order logic
• On the number of steps in proofs
• The undecidability of k-provability
• Note on generalizing theorems in algebraically closed fields
• The Kreisel length-of-proof problem
• Reprint of: ``A more general general proof theory
• A unification-theoretic method for investigating the \(k\)-provability problem
• A theorem on generalizations of proofs
• scientific article; zbMATH DE number 6538748 (Why is no real title available?)
• scientific article; zbMATH DE number 4072966 (Why is no real title available?)
• scientific article; zbMATH DE number 481931 (Why is no real title available?)
• scientific article; zbMATH DE number 2065283 (Why is no real title available?)
• New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems
• The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem

This page was built for publication:

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