scientific article; zbMATH DE number 4152372

MaRDI QIDQ3481697zbMATHFDO

Authors V. P. Orevkov

Publication date 1989

Full work available at URL https://eudml.org/doc/68047

zbMATH Keywords

Robinson arithmeticspeed-uplength of proof

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4033741
• Theories very close to PA where Kreisel's Conjecture is false
• Kreisel's Conjecture with minimality principle
• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).
• A Note on the Length of Proofs

Cited in

(6)

• The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
• scientific article; zbMATH DE number 4087658 (Why is no real title available?)
• Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
• Results on the generic Kurepa hypothesis
• Invertible infinitary calculus without loop rules for restricted FTL
• VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3481697)