Heterologicality and imcompleteness

DOI10.1002/1521-3870(200201)48:1%3C105::AID-MALQ105%3E3.0.CO;2-VMaRDI QIDQ2776814zbMATH OpenOpenAlexFDO

Authors Cezary Cieśliński

Publication date 18 July 2002

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1521-3870(200201)48:1%3C105::aid-malq105%3E3.0.co;2-v

zbMATH Keywords

second incompleteness theoremGrelling's antinomy

Mathematics Subject Classification ID

Consistency and independence results (03E35) First-order arithmetic and fragments (03F30) Set-theoretic model theory (03C55) Models of arithmetic and set theory (03C62)

Recommendations

• On Godel's Second Incompleteness Theorem
• The incompleteness theorems after 70 years
• Gödel's second incompleteness theorem for \(\Sigma_n\)-definable theories
• Self-reference and incompleteness in a non-monotonic setting
• Gödel's third incompleteness theorem

Cites work

• A Note on Boolos' Proof of the Incompleteness Theorem
• On the incompleteness theorems
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(6)

• Löb's theorem in a set theoretical setting
• Current research on Gödel's incompleteness theorems
• Liar-type paradoxes and the incompleteness phenomena
• Gödelizing the Yablo sequence
• scientific article; zbMATH DE number 638206 (Why is no real title available?)
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS

This page was built for publication: Heterologicality and imcompleteness

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