scientific article; zbMATH DE number 4006256

MaRDI QIDQ3757907zbMATH OpenFDO

Authors V. I. Stepanov

Publication date 1985

zbMATH Keywords

effective numeration of syntaxformal systemsincompletenessnonconstructive theoriesself-referential theoryundecidability

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 49449
• Self-reference and incompleteness in a non-monotonic setting
• Gödel's incompleteness phenomenon -- computationally
• Generic incompleteness of formal arithmetic
• scientific article; zbMATH DE number 481375

Cited in

(12)

• The incompleteness of Misra and Chandy's proof systems
• Nonessential extensions of complete theories
• scientific article; zbMATH DE number 5000992 (Why is no real title available?)
• Incompatible Ω-Complete Theories
• scientific article; zbMATH DE number 956467 (Why is no real title available?)
• scientific article; zbMATH DE number 481375 (Why is no real title available?)
• A Note on Boolos' Proof of the Incompleteness Theorem
• scientific article; zbMATH DE number 1114018 (Why is no real title available?)
• scientific article; zbMATH DE number 6845503 (Why is no real title available?)
• scientific article; zbMATH DE number 203220 (Why is no real title available?)
• Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics
• The incompleteness theorems after 70 years

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