Heterologicality and imcompleteness

DOI10.1002/1521-3870(200201)48:1%3C105::AID-MALQ105%3E3.0.CO;2-VzbMATH Open0990.03028OpenAlexW2137312235MaRDI QIDQ2776814FDOQ2776814

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

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

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)

Cites Work

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

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
• Title not available (Why is that?)
• 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)