scientific article; zbMATH DE number 4135936

MaRDI QIDQ3469102zbMATH OpenFDO

Authors Matthias Baaz

Publication date 1988

zbMATH Keywords

generalization of proofs measured by the number of substitutions and generalizationsmathematics without variablesreductions to Hilbert's \(\epsilon \) -calculusunifications

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)

Recommendations

• A theorem on generalizations of proofs
• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).
• scientific article; zbMATH DE number 733386
• Provability with Finitely Many Variables
• On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics

Cited in

(10)

• Herbrand's theorem and term induction
• A theorem on generalizations of proofs
• Without Loss of Generality
• Note on the benefit of proof representations by name
• Proof generalization in \(\mathrm {LK}\) by second order unifier minimization
• Any statement can be generalized so that it becomes trivial: a simple formalization of D. K. Faddeev's belief
• On Formally Measuring and Eliminating Extraneous Notions in Proofs
• scientific article; zbMATH DE number 459420 (Why is no real title available?)
• Provability with Finitely Many Variables
• Most general first order theorems are not recursively enumerable

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