Incompleteness in a General Setting

DOI10.2178/BSL/1174668216zbMATH Open1131.03031OpenAlexW2001758601MaRDI QIDQ3594482FDOQ3594482

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

Recommendations

• scientific article; zbMATH DE number 15306
• Gödel's incompleteness theorems
• scientific article
• 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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Title not available (Why is that?)
• Gödel's theorem and information
• Forbidden information
• The scope of Gödel's first incompleteness theorem
• Title not available (Why is that?)
• Incompleteness Ex Machina
• 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)