A note on a formalized arithmetic with function symbols ' and +

DOI10.21099/tkbjm/1496158505zbMath0411.03052OpenAlexW2097729674MaRDI QIDQ1259591

Tsuyoshi Yukami

Publication date: 1978

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496158505

zbMATH Keywords

length of proofformalized arithmeticfirst order language with function symbols

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Complexity of proofs (03F20)

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, Remark on Kreisel's conjecture, Bounded arithmetic, proof complexity and two papers of Parikh