Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics

MaRDI QIDQ5224682zbMATH OpenFDO

Authors Daniyar Shamkanov, Lev D. Beklemishev

Publication date 24 July 2019

Full work available at URL https://arxiv.org/abs/1602.05728

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Gödel numberings and issues of incompleteness (03F40)

Abstract: We study abstract versions of G"odel's second incompleteness theorem and formulate generalizations of L"ob's derivability conditions that work for logics weaker than the classical one. We isolate the role of contraction rule in G"odel's theorem and give a (toy) example of a system based on modal logic without contraction invalidating G"odel's argument.

Recommendations

• A generalization of the second incompleteness theorem and some exceptions to it
• Gödel's second incompleteness theorem for \(\Sigma_n\)-definable theories
• A general principle for purely model-theoretical proofs of Gödel's second incompleteness theorem
• scientific article; zbMATH DE number 2020141
• A formally verified abstract account of Gödel's incompleteness theorems
• A non-hyperarithmetical Gödel logic
• scientific article; zbMATH DE number 4006256
• On Godel's Second Incompleteness Theorem

Cited in

(6)

• What does Gödel's second theorem say?
• scientific article; zbMATH DE number 1612566 (Why is no real title available?)
• Current research on Gödel's incompleteness theorems
• scientific article; zbMATH DE number 2020141 (Why is no real title available?)
• A generalization of the second incompleteness theorem and some exceptions to it
• A note on derivability conditions

This page was built for publication: Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224682)