scientific article; zbMATH DE number 517075

MaRDI QIDQ4282605zbMATH OpenFDO

Authors

Publication date 29 September 1994

zbMATH Keywords

Presburger Arithmeticprovable sentencesself- reflective sentencesweak axiomatic systems

Mathematics Subject Classification ID

Complexity of proofs (03F20) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 3922637
• On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics
• Sentences implying their own provability
• Propositional proof systems, the consistency of first order theories and the complexity of computations
• Self-reference in arithmetic. I

Cited in

(5)

• Unprovability and proving unprovability
• scientific article; zbMATH DE number 5000992 (Why is no real title available?)
• scientific article; zbMATH DE number 3922637 (Why is no real title available?)
• scientific article; zbMATH DE number 517074 (Why is no real title available?)
• Multi-dimensional Interpretations of Presburger Arithmetic in Itself

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