scientific article; zbMATH DE number 4039891

MaRDI QIDQ3778747zbMATH OpenFDO

Authors V. P. Orevkov

Publication date 1987

zbMATH Keywords

logical derivationarbitrary functional symbolsarithmetic models

Mathematics Subject Classification ID

Structure of proofs (03F07) Complexity of proofs (03F20) Nonstandard models of arithmetic (03H15)

Recommendations

• Publication:3469081
• scientific article; zbMATH DE number 3954903
• A normal form for logical derivations implying one for arithmetic derivations
• Proof reconstruction in classical and nonclassical logics (Diss., TU Darmstadt, 1999)
• Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität

Cited in

(6)

• The undecidability of k-provability
• scientific article; zbMATH DE number 4135909 (Why is no real title available?)
• Proof schemata in Hilbert-type axiomatic theories
• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).
• A unification-theoretic method for investigating the \(k\)-provability problem
• Bounded arithmetic, proof complexity and two papers of Parikh

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