Sets of theorems with short proofs
From MaRDI portal
Publication:4041554
DOI10.2307/2272636zbMath0291.02021OpenAlexW1965800925MaRDI 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
Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Proof theory and constructive mathematics (03F99)
Related Items
The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem, The Kreisel length-of-proof problem, Generalizing theorems in real closed fields, Taking out LK parts from a proof in Peano arithmetic, Generalizing proofs in monadic languages (with a postscript by Georg Kreisel)., The undecidability of \(k\)-provability, Remark on Kreisel's conjecture, Herbrand's theorem and term induction, Some Results on the Length of Proofs, A unification-theoretic method for investigating the \(k\)-provability problem, Bounded arithmetic, proof complexity and two papers of Parikh
