Remark on Kreisel's conjecture

DOI10.1007/BF01104108zbMath0779.03021OpenAlexW2087421537WikidataQ123101453 ScholiaQ123101453MaRDI QIDQ684960

V. P. Orevkov

Publication date: 15 September 1993

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

Full work available at URL: https://doi.org/10.1007/bf01104108

zbMATH Keywords

Robinson arithmeticspeed-uplength of proof

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• A note on a formalized arithmetic with function symbols ' and +
• Some results on speed-up
• Sets of theorems with short proofs
• One hundred and two problems in mathematical logic
• Some Results on the Length of Proofs

This page was built for publication: Remark on Kreisel's conjecture