Heterologicality and Incompleteness

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200201)48:1<105::AID-MALQ105>3.0.CO;2-V" /><105::AID-MALQ105>3.0.CO;2-V 10.1002/1521-3870(200201)48:1<105::AID-MALQ105>3.0.CO;2-VzbMath0990.03028OpenAlexW2137312235MaRDI QIDQ2776814

Cezary Cieśliński

Publication date: 18 July 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200201)48:1<105::aid-malq105>3.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) Models of arithmetic and set theory (03C62) Set-theoretic model theory (03C55)

Related Items (4)

Liar-type paradoxes and the incompleteness phenomena ⋮ Gödelizing the Yablo sequence ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS

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

This page was built for publication: Heterologicality and Incompleteness