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

zbMATH Open1418.03175arXiv1602.05728MaRDI QIDQ5224682FDOQ5224682

Authors: Daniyar Shamkanov, Lev D. Beklemishev 

Publication date: 24 July 2019

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.

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

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

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)

Cited In (6)

• What does Gödel's second theorem say?
• Title not available (Why is that?)
• Current research on Gödel's incompleteness theorems
• Title not available (Why is that?)
• 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)