Sets of theorems with short proofs
From MaRDI portal
Publication:4041554
DOI10.2307/2272636zbMath0291.02021MaRDI QIDQ4041554
Publication date: 1974
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272636
03B10: Classical first-order logic
03B25: Decidability of theories and sets of sentences
03F99: Proof theory and constructive mathematics
Related Items
Some Results on the Length of Proofs, Remark on Kreisel's conjecture, The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem, Generalizing proofs in monadic languages (with a postscript by Georg Kreisel)., The undecidability of \(k\)-provability, Bounded arithmetic, proof complexity and two papers of Parikh, The Kreisel length-of-proof problem, A unification-theoretic method for investigating the \(k\)-provability problem, Generalizing theorems in real closed fields, Herbrand's theorem and term induction, Taking out LK parts from a proof in Peano arithmetic