scientific article; zbMATH DE number 440474

MaRDI QIDQ3140631zbMATH OpenFDO

Authors Matthias Baaz, Pavel Pudlák

Publication date 2 December 1993

zbMATH Keywords

length of proofsreflection principle

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Recommendations

• scientific article; zbMATH DE number 1979493
• scientific article; zbMATH DE number 3897103
• The Breuil-Mézard conjecture when \(l\neq p\)
• scientific article; zbMATH DE number 4033741
• The AD+ conjecture and the continuum hypothesis
• A profinite analogue of Lasserre's theorem
• A constructive proof of Kirszbraun's theorem
• scientific article; zbMATH DE number 17574
• On Vojta's 1+ conjecture

Cited in

(7)

• Bounded arithmetic, proof complexity and two papers of Parikh
• The Kreisel length-of-proof problem
• Cut-elimination: syntax and semantics
• Theories very close to PA where Kreisel's Conjecture is false
• scientific article; zbMATH DE number 4033741 (Why is no real title available?)
• scientific article; zbMATH DE number 481931 (Why is no real title available?)
• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).

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 Q3140631)