Incompleteness in a General Setting

DOI10.2178/BSL/1174668216MaRDI QIDQ3594482zbMATH OpenOpenAlexFDO

Authors John L. Bell

Publication date 8 August 2007

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/bsl/1174668216

zbMATH Keywords

derivability conditionsfixed point property in logicGödel's theoremslogical incompletenessmodal logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• scientific article; zbMATH DE number 15306
• Gödel's incompleteness theorems
• scientific article; zbMATH DE number 4200174
• The theory of Gödel
• scientific article; zbMATH DE number 1339027
• An Introduction to Gödel's Theorems
• scientific article; zbMATH DE number 724682
• Gödel incompleteness theorems and the limits of their applicability. I
• scientific article; zbMATH DE number 205734
• Incompleteness, Mechanism, and Optimism

Cited in

(8)

• Gödel's theorem and information
• The scope of Gödel's first incompleteness theorem
• scientific article; zbMATH DE number 15306 (Why is no real title available?)
• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• Virtual logic
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• Incompleteness Ex Machina
• Forbidden information

This page was built for publication: Incompleteness in a General Setting

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