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

modal logicderivability conditionsfixed point property in logicGödel's theoremslogical incompleteness

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Foundations of classical theories (including reverse mathematics) (03B30) 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

(7)

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

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)