A theorem on the formalized arithmetic with function symbols ' and +
From MaRDI portal
Publication:1251655
DOI10.21099/tkbjm/1496158386zbMath0392.03036OpenAlexW2285625055MaRDI QIDQ1251655
Publication date: 1977
Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.21099/tkbjm/1496158386
Related Items
The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem, The Kreisel length-of-proof problem, A theorem on generalizations of proofs, On the number of steps in proofs, The undecidability of \(k\)-provability, Bounded arithmetic, proof complexity and two papers of Parikh
