scientific article; zbMATH DE number 4039891

zbMATH Open0638.03053MaRDI QIDQ3778747FDOQ3778747

Authors: V. P. Orevkov 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

logical derivationarbitrary functional symbolsarithmetic models

Mathematics Subject Classification ID

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

Cited In (6)

• The undecidability of \(k\)-provability
• Title not available (Why is that?)
• Proof schemata in Hilbert-type axiomatic theories
• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).
• Bounded arithmetic, proof complexity and two papers of Parikh
• A unification-theoretic method for investigating the \(k\)-provability problem

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)