scientific article

zbMath0638.03053MaRDI QIDQ3778747

V. P. Orevkov

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logical derivationarbitrary functional symbolsarithmetic models

Mathematics Subject Classification ID

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

Related Items

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