Incompleteness in a General Setting

DOI10.2178/bsl/1174668216zbMath1131.03031OpenAlexW2001758601MaRDI QIDQ3594482

John L. Bell

Publication date: 8 August 2007

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

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

zbMATH Keywords

modal logicGödel's theoremsderivability conditionsfixed point property in logiclogical incompleteness

Mathematics Subject Classification ID

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

Related Items

The scope of Gödel's first incompleteness theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item